Вопросы с тегом «language-lawyer»

Давайте рассмотрим этот очень простой асинхронный метод: static async Task myMethodAsync() { await Task.Delay(500); } Когда я компилирую это с помощью VS2013 (до компилятора Roslyn), сгенерированный конечный автомат представляет собой структуру. private struct <myMethodAsync>d__0 : IAsyncStateMachine { ... void IAsyncStateMachine.MoveNext() { ... } } Когда я компилирую его с VS2015 …

87 c#  .net  language-lawyer  roslyn 

Прелюдия: std::tuple<int, int, int> f(); std::tuple<int, int, float, int> g(); C ++ 1z представит синтаксис для структурированных привязок, который позволит писать вместо int a, b, c; std::tie(a, b, c) = f(); что-то вроде auto [a, b, c] = f(); Однако std::tieтакже можно указать std::ignoreигнорировать определенные компоненты, например: std::tie(a, b, std::ignore, …

87 c++  language-lawyer  c++17 

Мы знаем, что «константная переменная» указывает, что после назначения вы не можете изменить переменную, например: int const i = 1; i = 2; Приведенная выше программа не скомпилируется; gcc выводит сообщение об ошибке: assignment of read-only variable 'i' Нет проблем, я могу это понять, но следующий пример выходит за рамки …

86 c++  reference  constants  language-lawyer  decltype 

(int) + 4*5; Почему это (добавление типа со значением) возможно? (пробовал с g ++ и gcc.) Я знаю, что это не имеет смысла (и не имеет никакого эффекта), но я хочу знать, почему это возможно.

86 c++  c  casting  language-lawyer 

Сегодня возникла проблема. Мне нужна staticфункция-член, constэто не обязательно, но лучше. Но мои усилия не увенчались успехом. Кто-нибудь может сказать, почему и как?

86 c++  static  language-lawyer  const-method 

Скажем, я собираюсь скомпилировать какой-то плохо написанный исходный код C ++, который вызывает неопределенное поведение, и поэтому (как говорится) «все может случиться». С точки зрения того, что спецификация языка C ++ считает приемлемым для "совместимого" компилятора, "что-нибудь" в этом сценарии включает сбой компилятора (или кражу моих паролей, или иное некорректное …

85 c++  language-lawyer  undefined-behavior 

В c++03ней довольно ясно , что удаление пустого указателя не имеет никакого эффекта. В самом деле, это прямо указано в §5.3.5/2том, что: В любом случае, если значением операнда удаления является нулевой указатель, операция не имеет никакого эффекта. Тем не менее, в текущем проекте для c++0xэтого предложения , кажется, отсутствует. В …

85 c++  null  language-lawyer  delete-operator 

Два условия, которые определяют функцию pure, следующие: Без побочных эффектов (т.е. разрешены только изменения в локальной области) Всегда возвращать один и тот же вывод, учитывая тот же ввод Если первое условие всегда верно, бывает ли когда-нибудь второе условие неверно? Т.е. действительно ли это необходимо только с первым условием?

84 javascript  functional-programming  language-lawyer  pure-function 

(В отношении этого вопроса и ответа .) До стандарта C ++ 17 в [basic.compound] / 3 было включено следующее предложение : Если объект типа T расположен по адресу A, говорят, что указатель типа cv T *, значением которого является адрес A, указывает на этот объект, независимо от того, как было …

84 c++  pointers  c++14  language-lawyer  c++17 

Это (обратите внимание на оператор запятой ): #include <iostream> int main() { int x; x = 2, 3; std::cout << x << "\n"; return 0; } выходы 2 . Однако, если вы используете returnоператор запятой, это: #include <iostream> int f() { return 2, 3; } int main() { int x; …

83 c++  return  language-lawyer  operator-precedence  comma-operator 

Я не так хорошо разбираюсь в стандарте C, поэтому, пожалуйста, потерпите меня. Я хотел бы знать, гарантируется ли это по стандарту, что memcpy(0,0,0)это безопасно. Единственное ограничение, которое я смог найти, это то, что если области памяти перекрываются, то поведение не определено ... Но можно ли считать, что области памяти здесь …

80 c  memcpy  language-lawyer  null-pointer 

Разрешено ли компилятору оптимизировать это (согласно стандарту C ++ 17): int fn() { volatile int x = 0; return x; } к этому? int fn() { return 0; } Если да, то почему? Если нет, то почему? Вот некоторые размышления по этому поводу: текущие компиляторы компилируются fn()как локальная переменная, помещенная …

79 c++  language-lawyer  c++17  volatile 

Могу ли я использовать NULLуказатель в качестве замены для значения 0? Или что-то не так в этом? Как, например: int i = NULL; как замена для: int i = 0; В качестве эксперимента я скомпилировал следующий код: #include <stdio.h> int main(void) { int i = NULL; printf("%d",i); return 0; } …

73 c++  c  pointers  null  language-lawyer 

Глядя на этот код: static int global_var = 0; int update_three(int val) { global_var = val; return 3; } int main() { int arr[5]; arr[global_var] = update_three(2); } Какая запись массива обновляется? 0 или 2? Есть ли часть в спецификации C, которая указывает приоритет работы в этом конкретном случае?

47 c  language-lawyer  order-of-execution 

Рассмотрим следующий фрагмент: #include <array> int main() { using huge_type = std::array<char, 20*1024*1024>; huge_type t; } Очевидно, что это приведет к сбою на большинстве платформ, поскольку размер стека по умолчанию обычно составляет менее 20 МБ. Теперь рассмотрим следующий код: #include <array> #include <vector> int main() { using huge_type = std::array<char, …

46 c++  language-lawyer  stdvector  libstdc++  automatic-storage