C có được gõ mạnh không?

Trích dẫn Wikipedia :

Hai ngôn ngữ được sử dụng phổ biến hỗ trợ nhiều kiểu chuyển đổi ngầm định là C và C ++, và đôi khi người ta cho rằng đây là những ngôn ngữ được đánh máy yếu. Tuy nhiên, những người khác cho rằng những ngôn ngữ này đặt ra đủ hạn chế về cách các toán hạng của các kiểu khác nhau có thể được trộn lẫn, rằng cả hai nên được coi là ngôn ngữ được đánh máy mạnh.

Có câu trả lời chắc chắn hơn không?

"Gõ mạnh" và "gõ yếu" là những thuật ngữ không có ý nghĩa kỹ thuật được thống nhất rộng rãi. Các thuật ngữ có ý nghĩa được xác định rõ ràng là

• Được nhập động có nghĩa là các loại được gắn với các giá trị tại thời gian chạy và việc cố gắng kết hợp các giá trị của các loại khác nhau có thể gây ra "lỗi loại thời gian chạy". Ví dụ, nếu trong Scheme bạn cố gắng thêm một giá trị vào true bằng cách viết, (+ 1 #t)điều này sẽ gây ra lỗi. Bạn chỉ gặp lỗi nếu bạn cố gắng thực thi mã vi phạm.

• Kiểu tĩnh có nghĩa là các kiểu được kiểm tra tại thời điểm biên dịch và một chương trình không có kiểu tĩnh sẽ bị trình biên dịch từ chối. Ví dụ: nếu trong ML bạn cố gắng thêm một vào true bằng cách viết 1 + true, chương trình sẽ bị từ chối với thông báo lỗi (có thể là khó hiểu). Bạn luôn gặp lỗi ngay cả khi mã có thể không bao giờ được thực thi.

Những người khác nhau thích các hệ thống khác nhau một phần tùy thuộc vào mức độ họ đánh giá cao tính linh hoạt và mức độ họ lo lắng về lỗi thời gian chạy.

Đôi khi "được gõ mạnh" được sử dụng lỏng lẻo để có nghĩa là "được nhập tĩnh", và "được nhập yếu" được sử dụng không chính xác để có nghĩa là "được nhập động". Cách sử dụng tốt hơn cho thuật ngữ "được đánh mạnh" là "bạn không thể làm việc xung quanh hoặc lật đổ hệ thống kiểu", trong khi "được đánh yếu" có nghĩa là "có sơ hở trong hệ thống kiểu". Ngược lại, hầu hết các ngôn ngữ với hệ thống kiểu tĩnh đều có kẽ hở, trong khi nhiều ngôn ngữ với hệ thống kiểu động không có kẽ hở.

Không có thuật ngữ nào trong số này được kết nối theo bất kỳ cách nào với số lượng chuyển đổi ngầm định có sẵn trong một ngôn ngữ.

Nếu bạn muốn nói một cách chính xác về các ngôn ngữ lập trình, cách tốt nhất là tránh các thuật ngữ "gõ mạnh" và "gõ yếu". Tôi muốn nói rằng C là một ngôn ngữ được gõ tĩnh nhưng có rất nhiều lỗ hổng. Một lỗ hổng là bạn có thể tự do chuyển bất kỳ loại con trỏ nào sang bất kỳ loại con trỏ nào khác. Bạn cũng có thể tạo kẽ hở giữa hai loại bất kỳ mà bạn chọn bằng cách khai báo một liên minh C có hai thành viên, một cho mỗi loại được đề cập.

Tôi đã viết thêm về nhập tĩnh và nhập động tại sao-giải-ngôn-ngữ-là-chủ-yếu-vịt-trong-khi-biên-dịch-có-mạnh-gõ .

Thật khó để phân loại mọi ngôn ngữ thành được gõ 'yếu' hoặc 'mạnh' - nó mang tính liên tục hơn. Tuy nhiên, so với các ngôn ngữ khác, C được đánh khá mạnh. Mọi đối tượng đều có kiểu thời gian biên dịch và trình biên dịch sẽ thông báo cho bạn biết (lớn tiếng) nếu bạn đang làm điều gì đó với một đối tượng mà kiểu của nó không cho phép bạn làm. Ví dụ: bạn không thể gọi các hàm với các loại tham số sai, truy cập struct / union member không tồn tại, v.v.

Nhưng có một vài điểm yếu. Một điểm yếu chính là typecast - về cơ bản chúng nói rằng bạn sẽ xoay quanh các loại đối tượng và trình biên dịch phải yên tĩnh (khi có thể). void*cũng là một điểm yếu khác - đó là một con trỏ chung đến một loại không xác định và khi sử dụng chúng, bạn phải hết sức cẩn thận để đảm bảo rằng mình đang làm đúng. Trình biên dịch không thể kiểm tra tĩnh hầu hết các mục đích sử dụng void*. void*cũng có thể được chuyển đổi thành con trỏ thành bất kỳ kiểu nào mà không cần ép kiểu (chỉ trong C, không phải trong C ++), đó là một điểm yếu khác.

Tài liệu không rõ ràng về điều này. Tôi nghĩ rằng gõ mạnh không phải là có / không, có nhiều mức độ gõ mạnh khác nhau.

Một ngôn ngữ lập trình có một đặc tả về cách nó thực thi các chương trình. Đôi khi không rõ cách thực thi với một số chương trình nhất định. Ví dụ, các chương trình cố gắng trừ một chuỗi khỏi một số. Hoặc các chương trình chia cho không. Có một số cách để đối phó với những tình trạng này. Một số ngôn ngữ có các quy tắc để xử lý các lỗi này (ví dụ: chúng đưa ra một ngoại lệ). Các ngôn ngữ khác không có quy tắc để đối phó với những tình huống này. Những ngôn ngữ đó thường có hệ thống kiểu để ngăn chặn các chương trình biên dịch dẫn đến hành vi không xác định. Và cũng tồn tại các ngôn ngữ có hành vi không xác định và không có hệ thống loại để ngăn chặn các lỗi này tại thời điểm biên dịch (nếu bạn viết một chương trình có hành vi không xác định, nó có thể phóng tên lửa).

Vì thế:

Các ngôn ngữ chỉ định những gì xảy ra trong thời gian chạy trong mọi trường hợp (như thêm một số vào một chuỗi) được gọi là nhập động. Các ngôn ngữ ngăn việc thực thi chương trình có lỗi tại thời điểm biên dịch được nhập tĩnh. Các ngôn ngữ không xác định điều gì sẽ xảy ra và cũng không có hệ thống loại để ngăn lỗi được gọi là nhập yếu.

Vậy Java có được gõ tĩnh không? Có, vì hệ thống kiểu của nó không cho phép trừ một chuỗi khỏi một số. Không, vì nó cho phép bạn chia cho không. Bạn có thể ngăn chia cho số 0 tại thời điểm biên dịch bằng hệ thống kiểu. Ví dụ: bằng cách tạo một kiểu số không thể bằng 0 (ví dụ: NonZeroInt) và chỉ cho phép chia cho các số có kiểu này.

Vậy C gõ mạnh hay gõ yếu? C được gõ mạnh vì hệ thống kiểu không cho phép một số lỗi kiểu. Nhưng nó được nhập yếu trong các trường hợp khác khi không xác định được điều gì sẽ xảy ra (và hệ thống loại không bảo vệ bạn).

C được coi là được gõ yếu, vì bạn có thể chuyển đổi bất kỳ kiểu nào sang bất kỳ kiểu nào khác thông qua ép kiểu mà không gặp lỗi trình biên dịch. Bạn có thể đọc thêm về vấn đề ở đây .

C được gõ mạnh hơn Javascript và ít được gõ mạnh hơn Ada.

Tôi muốn nói rằng nó rơi vào phía được đánh máy mạnh mẽ của liên tục. nhưng người khác có thể không đồng ý (ngay cả khi họ sai).

Làm thế nào là dứt khoát?

C được coi là kiểu tĩnh (bạn không thể thay đổi biến từ int thành float). Khi một biến được khai báo, nó sẽ bị kẹt theo cách đó.

Nhưng nó được coi là đánh máy yếu vì các loại có thể được lật úp.

0 là gì? '\ 0', FALSE, 0.0, v.v.

trong nhiều ngôn ngữ, bạn không thể nói IF (biến) vì các điều kiện sẽ chỉ nhận các giá trị boolean từ các biểu thức boolean. Chúng được gõ mạnh hơn. Điều tương tự cũng áp dụng cho việc chuyển đổi giữa các ký tự và số nguyên.

Về cơ bản, c có hai kiểu dữ liệu đơn giản chính, số nguyên và số dấu phẩy động (mặc dù có nhiều phân biệt). Mọi thứ khác boolean, enum (không đơn giản nhưng nó phù hợp), v.v. được thực hiện như một trong số đó. Các ký tự chẵn về cơ bản là số nguyên.

So sánh với các ngôn ngữ khác có kiểu chuỗi, kiểu enum chỉ có thể được gán cho các giá trị đã xác định, kiểu boolean chỉ có thể sử dụng các biểu thức tạo boolean hoặc true / false.

Nhưng bạn có thể tranh luận rằng so với Perl C được đánh mạnh mẽ. Vì vậy, nó là một trong những đối số nổi tiếng (vi vs emacs, linux vs windows, v.v.). C # được gõ mạnh hơn C. Về cơ bản, bạn có thể tranh luận theo một trong hai cách. Và câu trả lời của bạn có thể sẽ đi theo cả hai cách :) Ngoài ra, một số sách giáo khoa / trang web sẽ nói rằng C được gõ yếu, và một số sẽ nói C được gõ mạnh. Nếu bạn truy cập wikipedia, mục nhập C cho biết "gõ yếu một phần". Tôi có thể nói so với Python C được gõ yếu. Vì vậy, Python / C #, C, Perl trên liên tục.

Rất nhiều câu trả lời hay ở đây. Tôi muốn nêu ra một điểm quan trọng từ Real World Haskell :

Cần lưu ý rằng nhiều cộng đồng ngôn ngữ có định nghĩa riêng của họ về “loại mạnh”. Tuy nhiên, chúng tôi sẽ nói một cách ngắn gọn và rộng rãi về khái niệm sức mạnh trong các hệ thống kiểu.

(snip)

Pháo hoa xung quanh các hệ thống loại có nguồn gốc từ tiếng Anh thông thường, nơi mọi người gắn khái niệm giá trị với các từ "yếu" và "mạnh": chúng ta thường nghĩ về sức mạnh tốt hơn là điểm yếu. Nhiều lập trình viên nói tiếng Anh đơn giản hơn là thuật ngữ học thuật, và thường thì các nhà học thuật thực sự ném gạch đá vào bất kỳ loại hệ thống nào không phù hợp với sở thích của họ. Kết quả thường là trò tiêu khiển phổ biến trên Internet, một cuộc chiến rực lửa.

Vì vậy, hãy xem các câu trả lời về C và C ++, nhưng hãy nhớ rằng 'mạnh' và 'yếu' không liên kết với 'tốt' và 'xấu'.

Theo Dennis Ritchie ( người tạo ra C ) và Brian Kernighan, C không phải là một ngôn ngữ được đánh máy mạnh. Những dòng tiếp theo trích từ cuốn sách Ngôn ngữ lập trình C trang 3 đoạn 5

C không phải là một ngôn ngữ được đánh máy mạnh, nhưng khi nó phát triển, việc kiểm tra kiểu của nó đã được tăng cường.

Theo tôi, C / C ++ được đánh rất mạnh. Loại hack cho phép chuyển đổi kiểu (void *) ở đó vì C gần với máy. Nói cách khác, bạn có thể gọi các lệnh hợp ngữ từ Pascal và thao tác với con trỏ và Pascal vẫn được coi là một ngôn ngữ được đánh máy mạnh. Bạn có thể gọi trình dịch hợp ngữ và các tệp thực thi C từ Java thông qua JNI nhưng nó không làm cho Java được gõ yếu.

C chỉ có trình hợp dịch được "nhúng" vào nó với các con trỏ thô và như vậy.

Thuật ngữ được đánh mạnh không có một định nghĩa thống nhất. Do đó, trừ khi bạn xác định ý bạn là "được đánh máy mạnh", thì không thể trả lời câu hỏi của bạn.

Theo kinh nghiệm của tôi, các từ ngữ "mạnh mẽ gõ" và "yếu gõ" được sử dụng độc quyền bởi troll, bởi vì họ thiếu định nghĩa cho phép troll để xác định lại họ giữa lý luận cho phù hợp với chương trình nghị sự của họ. Khác với việc khởi động súng hỏa mai, những thuật ngữ này khá vô dụng.

Bạn cũng có thể muốn xem Các khía cạnh chính của một ngôn ngữ được đánh máy mạnh là gì? tại đây trên StackOverflow.

Có một sự liên tục với nhiều con đường song song giữa "gõ yếu" và "nhập mạnh", hai thuật ngữ thậm chí còn không được xác định rõ ràng.

C được nhập tĩnh , trong đó trình biên dịch biết kiểu khai báo của mọi biến cục bộ và thành viên cấu trúc là gì.

Các ngôn ngữ được gõ động vẫn có thể được gõ mạnh, nếu mỗi đối tượng có một kiểu cụ thể nhưng không có cách nào để trình biên dịch biết kiểu đó.

Lý do cho truy vấn của bạn là gì? Lý do tôi yêu cầu là đây là một sự khác biệt nhỏ và cách sử dụng cụ thể của bạn "được đánh máy mạnh" có thể cần được làm rõ hơn hoặc ít hơn. Tôi chắc chắn sẽ nói rằng Java và các ngôn ngữ khác có những hạn chế chặt chẽ hơn đối với cuộc hội thoại kiểu ngầm.

Thật khó để đưa ra một câu trả lời cụ thể khi không có một định nghĩa cụ thể về "được đánh máy mạnh". Tôi muốn nói rằng C được gõ mạnh vào đó mọi biến và mọi biểu thức đều có một kiểu nhưng gõ yếu ở chỗ nó cho phép bạn thay đổi kiểu bằng cách sử dụng phôi và diễn giải lại biểu diễn của kiểu này thành kiểu khác.

Tôi muốn nói rằng C được đánh mạnh như lệnh của trình biên dịch / nền tảng của bạn. Ví dụ: nếu bạn đang xây dựng trên một nền tảng nghiêm ngặt, việc bỏ tham chiếu đến một con trỏ kiểu chơi chữ có thể sẽ bị hỏng:

void m_free(void **p)
{
        if (*p != NULL) {
                free(*p);
                *p = NULL;
        }
}

....
char *str = strdup("foo");
m_free((void **) &foo);

Bây giờ, nếu bạn yêu cầu trình biên dịch bỏ qua răng cưa nghiêm ngặt, nó sẽ không phải là vấn đề, nhưng không phải là rất linh hoạt. Vì vậy, theo nghĩa đó, việc thúc đẩy giới hạn của ngôn ngữ là có thể nhưng có lẽ không phải là ý tưởng tốt nhất. Điều đó vượt xa quá trình ép kiểu điển hình, tức là ép kiểu int càng lâu và thực sự cho thấy một trong những cạm bẫy có thể có của khoảng trống.

Vì vậy, tôi sẽ nói C về cơ bản được nhập đúng, nhưng các trình biên dịch khác nhau của nó cho rằng lập trình viên hiểu rõ nhất và cho phép một số linh hoạt. Điều này thực sự phụ thuộc vào trình biên dịch, một số sẽ không nhận ra lỗi tiềm ẩn đó. Vì vậy, theo nghĩa đó, trình biên dịch lựa chọn thực sự đóng một vai trò khi trả lời câu hỏi. Những gì đúng thường khác với những gì mà trình biên dịch của bạn sẽ cho phép bạn loại bỏ.

c gõ yếu, b không gõ được.

Không được gõ mạnh.

Hãy xem xét những gì mà nguyên mẫu hàm sau cho bạn biết về kiểu dữ liệu của các đối số:

void func (int n, char ch, ...);

Không có gì. Vì vậy, tôi đề nghị rằng gõ mạnh không áp dụng ở đây.

Tôi muốn nói rằng nó có nhiều kiểu vì mọi biểu thức đều có kiểu không phải là một hàm của giá trị của nó; ei nó có thể được biết trước thời gian chạy.

OTOH Tôi không chắc đó có phải là mô tả chính xác của được gõ mạnh hay không. Tuyên bố mạnh mẽ duy nhất mà tôi có thể thấy lý do để một ngôn ngữ đưa ra sẽ là đảm bảo rằng bạn không thể lật đổ hệ thống kiểu trong thời gian chạy thông qua diễn giải lại các kiểu kiểu, hợp nhất, gọi sang các ngôn ngữ khác, con trỏ, hợp ngữ, v.v. Các ngôn ngữ như thế này tồn tại nhưng bị tê liệt đến mức chúng dường như không được các lập trình viên quan tâm nhiều ngoài tính học thuật và đảm bảo cao. Như ai đó đã chỉ ra, để thực sự làm được điều đó, bạn bắt đầu cần phải có các loại như thế nào nonZeroIntvà không. Kinh quá.