Это предложение из Блог Эрика Липперта:
Учитывая эту неприятную ситуацию, имеет смысл сначала сделать упор на механизм хранения, а затем уже на семантику.
Легко получить словарное определение того, что означает "семантический", но что это значит с точки зрения компьютерного жаргона. ?
но что это значит с точки зрения компьютерного жаргона?
По сути то же самое. Пример:
x = 5;
Выше приведен синтаксис (представление). Смысл (т. е. семантика) этого термина заключается в том, чтобы присвоить значение 5 символу (переменной, чему угодно) с именем x. Разные языки предлагают разный синтаксис для обеспечения одинаковой семантики. Например, приведенное выше задание будет записано как
x := 5;
на Паскале и как
x <- 5
на нескольких других языках. Во всех случаях значение практически одинаково. Но иногда один и тот же синтаксис может иметь различное значение в зависимости от языка и/или контекста. VB, например, переопределяет оператор равенства, чтобы он означал две разные вещи. Во-первых, задание, как и выше.
Во-вторых, в следующем фрагменте кода вместо присваивания используется значение сравнения двух значений:
If x = 5 Then Console.WriteLine("x is 5")
<=) отличается от назначения переменной (с := ) в том, что хотя назначение сигнала a <= b может быть выполнено только один раз, оно говорит, что b теперь является драйвером сигнала a; Таким образом, если управляющий сигнал b изменится (по какому-либо другому назначению в будущем), то же самое произойдет и с управляемым сигналом a без какой-либо необходимости распространения назначения. По сути, вы подключаете a к b, а не устанавливаете его в текущее значение и позволяете им изменяться независимо после назначения. Это еще одна потенциальная семантика присваивания.
- person Iwillnotexist Idonotexist; 11.11.2014
Семантика — это то, ЧТО мы имеем в виду, что программа должна делать. Синтаксис — это специфическое для языка ограничение на то, как мы выражаем семантику.
Теоретически, пока семантика программы верна, не имеет значения, на каком языке она была написана.
Применяется словарное определение.
Семантика - это (есть ли?) все о значении слов.
Например, если вы используете тип .NET KeyValuePair для представления чего-то ДРУГОГО, кроме ключа и значения, у вас есть семантическая проблема. Это может сработать... это может быть лучшим решением, но оно не является семантически точным.
Это именно то, о чем он говорит в своем блоге. В C-подобных языках мы перечисляем возвращаемые типы первыми, но на самом деле возвращаемые значения идут последними. Это семантически неверно.
С точки зрения жаргона языка программирования существует несколько понятий семантики:
Статическая семантика говорит вам, какие программы, которые являются грамматически правильными, также являются правильными. Многие языки либо не имеют статической семантики (Scheme, Ruby, Python, Icon, Lua, Perl), либо имеют статическую семантику, которая в основном связана с реализацией системы типов (Java, C, C#, Haskell). «Требуется декларация перед использованием» — еще одна возможная статическая семантика. Статическая семантика отвечает на вопрос "есть ли смысл в этой программе?" во время компиляции.
Динамическая семантика говорит вам об одном из двух:
Если вы читаете слово «семантика» в руководстве или статье, и в контексте используется неформальный английский язык, а не точное математическое описание, автор, вероятно, имеет в виду динамическое операционное поведение, если хотите, неформально описанную операционную семантику. Такое неформальное описание может быть весьма полезным для разработчиков компиляторов и программистов.
Насколько я понимаю, семантика - это "то, что все это значит для человека". Это что он делает, а не как он это делает.
Еще немного контекста из блога:
Поэтому в C вы сначала ставите метаданные хранилища (static int customerCount;), а не семантику (это могло быть var customerCount: static int;).
Он говорит, что "static int" стоит перед "customerCount". Вызов "static int" метаданные хранилища и "customerCount" семантики. Метаданные хранилища — это информация о том, что содержит переменная. В ней подразумевается, сколько битов она занимает, какие значения она может содержать, является ли она общей для экземпляров и ее изменчивость.
Семантика, имя переменной, представляет собой информацию для читателей кода о том, что должно храниться в переменной. Что означает переменная . Вы могли бы назвать его «x», и программа работала бы так же хорошо, но программисту было бы трудно ее понять. Называя его «customerCount», мы наделяем переменную смыслом, и это семантика.
Другими словами, учитывая контекст статьи, он говорит, что разработчикам C# было бы лучше сосредоточиться на том, как они будут хранить данные внутри, когда переменная была объявлена, и не так сильно заботиться об указании точного метода. объявления переменной.
Другими словами, сделав это в C#
static int customerCount
вы говорите компилятору подготовить хранилище для статически доступного целого числа, а затем говорите ему пометить это хранилище как customerCount
тогда как в VB вы бы использовали эту строку
dim shared customerCount as Integer
Теоретически сообщая компилятору, что у вас есть переменная с именем customerCount, которую он должен хранить и делать статически доступной, и, кстати, это целое число.
Это все действительно тонкая линия различия своего рода вещь.
