Является ли C# строго типизированным или слабо типизированным языком?

Question

Может кто-то прояснить, если C# строго типизирован или слабо типизированный язык? И объясните, почему.

Если у меня есть функция concat, которая может принимать любой объект, это значит, что она считается слабо типизированной?

function concat(Object stuff) 
{ 
    //do something here to stuff 
} 

Answer 1

Here является блоге на эту тему с кем-то, кто был (в то время он написал пост) один из главных разработчиков C# компилятор.

Короче говоря, сам вопрос является ошибочным и не может быть разумно отреагирован в его текущей форме.

Answer 2

Согласно MSDN, C# является строго типизированным языком.

Answer 3

От http://ericlippert.com/2012/10/15/is-c-a-strongly-typed-or-a-weakly-typed-language/

Is C# строго типизированный или слабо типизированный язык?

Да.

Это бесполезно.

Я не сомневаюсь в этом. Интересно, что если вы перефразировали вопрос как « » и «вопрос», ответ будет таким же.

Что? Вы имеете в виду, что C# строго типизирован и слабо типизированный язык?

Да, C# - строго типизированный язык и слабо типизированный язык.

Я в замешательстве.

Меня тоже. Возможно, вы должны сказать мне точно, что вы подразумеваете под «сильно набраны» и «слабо напечатаны».

Ум. Я не знаю, что я имею в виду под этими терминами, поэтому, возможно, это вопрос, который я должен задать. Что это значит для язык, который будет «слабо типизирован» или «строго типизирован»?

«Слабосвязанный напечатало» означает «этот язык использует систему проверки типа , что я нахожу отвратительным», и «сильно типизированным» означает «этот язык использует систему типа, что я нахожу привлекательным».

Answer 4

Есть много, много определений как strongly typed и слабо типизированных, к точке, где вы должны определить, что вы имеете в виду под термином, когда вы его используете. Определение, которое я нахожу полезным, - это . «Язык заставляет меня указывать тип для таких вещей, как параметры?» Это отделяет языки, такие как C#, с одной стороны, и Javascript к другому, что я считаю полезным.

Требование кого-то назвать тип вместо того, чтобы полагаться на такие вещи, как «утиная печать», создает преимущества в статическом анализе, но имеет недостатки, когда дело касается определения типов, которые имеют общую функциональность.По этой причине многие из этих языков развивают сложные системы спецификации отношения типов, как правило, сначала программирование на основе классов, а затем разрабатывают системы шаблонов или , так что программисты могут говорить такие вещи, как «тип А - это подмножество типа B "или" тип C является метатипом, который может быть применен к любому другому типу, который удовлетворяет условиям D и E "и так далее.

Answer 5

C# строго типизирован.

ECMA-334 Определяет C# как «C# (произносится как« C Sharp ») - это простой, современный, ориентированный на объекты и типный язык программирования».

Википедия определяет типобезопасность

Тип безопасности является синонимом одного из многочисленных определений сильной ввода; но тип безопасности и динамическая типизация взаимно совместимы.

Википедия определяет сильную типизации, как

В информатике и компьютерном программировании, система типа, как говорят особенность сильной типизации, когда он задает один или несколько ограничений на , как операции с участием значений различных типы данных могут быть смешаны. Противоположность сильному набору символов - слабое типирование.

Возможно, лучше спросить, является ли C# языком, безопасным для типов, поскольку никто не может согласиться с тем, что «сильный» и «слабый» означает «действительно», если компилятор выполнит проверку типов.

У C# есть некоторые динамические языки, подобные конструкциям, но замечательно они по-прежнему безопасны во время компиляции.

Начиная с Visual C# 3.0, переменные, объявленные в метод объема может иметь неявный тип var. Неявно типизированная локальная переменная строго типизирована так же, как если бы вы сами объявили тип , но компилятор определяет тип.

http://msdn.microsoft.com/en-us/library/bb383973.aspx

dynamic Ключевое слово в основном работает так же, за исключением того, что вычисляется во время выполнения, а не во время компиляции, как и в случае с var.

Visual C# 2010 представляет новый тип, динамический. Тип - статический тип , но объект типа dynamic обходит проверку статического типа. В большинстве случаев он работает как объект типа. Во время компиляции предполагается, что элемент , который вводится как динамический, поддерживает любую операцию.

http://msdn.microsoft.com/en-us/library/dd264736.aspx

Answer 6

В общем: С # используется в строго типизированного образом, означает: переменная объявлена ​​конкретной Type (либо: String, Int, определенный пользователем тип и т. д.), и впоследствии не может быть присвоено значение другого типа.

Например: Вы не можете иметь следующее в C#:

int i = 10; 
i = "ten"; 

Как и в комментариях ниже, C# могут быть использованы по-разному.

Использование «сильной» типизации позволяет редактору/компилятору предупреждать вас об ошибках и позволяет редактору дать вам рекомендации, суженные до того, что вам, скорее всего, понадобится.