Почему встроенные типы в C# являются ключевыми словами языка?

Насколько я читал, разработчики C# хотели разрешить типичные имена типов, как это принято в языках стиля C, а именно string, int и так далее. В то же время каждый из этих типов должен иметь полные имена типов, такие как System.String и System.Int32. Поэтому было принято решение предоставить псевдонимы для этих часто используемых типов.

Если я снова найду источник этого утверждения, я добавлю ссылку.

В других языках на основе CLI допустимы те же полные идентификаторы типов. Однако имена типов, такие как int или string, могут не быть обычными в таких языках, поэтому там могут быть предоставлены другие псевдонимы.

Одним из возможных преимуществ использования псевдонима типа может быть улучшенная читабельность, поэтому существует правило StyleCop. который обеспечивает использование псевдонима вместо имени обычного типа. Пункт о краткости также упоминается в этом ветка на ту же тему.

Почти язык, который я изучил так: C, C++, Java, Pascal, C#. Я не совсем уверен, но согласно классу Compiler Design я учился в университете (на этом курсе мы узнаем, как люди шаг за шагом пишут компилятор и реализуют собственный компилятор), основная причина вашего вопроса: для проще в лексическом анализе фразы

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

Например, когда вы вводите:

int a = 5;

Первая фраза: Лексический анализ должен предоставить словарь, как показано ниже, и отправить его на Parser pharse:

    int ---> identifiers
    a   ---> Variable
    =   ---> Operator(=)
    5   ---> Integer
    ;   ---> ;

И откуда Lexical Analysis знать это: во-первых, он построит таблицу словаря и найдет введенную вами строку. Когда встретится первый токенизатор, он ОСТАНОВИТСЯ и возьмет этот токенизатор. (Это важно ! )

словарь такой:

if   ---> if
then ---> then
int  ---> int
.... // all keywords here
[a-z][a-z0-9_]* ---> variable  // example of regular expression :  I don't sure it's true, just something like this :D

Итак, если язык позволяет вам называть int так же, как переменную. такие как :

int int = 5;

Приведенный выше метод для lexical analysis неисправен: когда он считывает второе int, он не знает, что это переменная или ключевое слово, и для его определения требуются более сложные шаги.

Я не говорю, что это невозможно, но это сложнее и медленнее при компиляции, и в этом нет необходимости. Просто скажите программисту: "Эй, НЕ ДЕЛАЙ ЭТОГО, иначе я не буду компилировать твою программу :))"

Надеюсь, это полезно :)

Это связано с тем, что int и другие специальные типы значений, встроенные в язык C#, на самом деле вовсе не типы, а псевдонимы системных типов .NET Framework.

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

declaration = type identifier ;

Синтаксическая фаза проверяет, является ли идентификатор [a-Z]([a-Z]+ | [0-9]+)+ и не является зарезервированным ключевым словом или псевдонимом, как в случае, который вы описали. Поэтому имеет смысл назвать это синтаксической ошибкой.