Вопросы с меткой [language-lawyer]
Вопросы о тонкостях формальных или общепринятых спецификаций языков программирования и связанных с ними информационных систем.
117
вопросов
1
голос
1
ответ
41
показ
Когда можно опускать пустые угловые скобки?
В этом вопросе можно использовать std::less с пустыми скобками std::less<>, но нельзя без них std::less. В то время как этот код принимает оба варианта:
std::sort(v.begin(), v.end(), std::less())...
1
голос
2
ответа
83
показа
Определение inline функции вне класса
Является ли функция, определённая вне класса, используя спецификатор inline, inline? Можно ли в объявлении не использовать inline, а в определении - использовать?
struct S {
void foo();
};
inline ...
1
голос
0
ответов
45
показов
Почему нельзя использовать goto в constexpr функциях?
Почему нельзя использовать goto в constexpr функциях?
constexpr auto foo() {
hell: goto hell; // error: 'goto' in 'constexpr' function
}
2
голоса
1
ответ
38
показов
Поиск функции через шаблонный аргумент аргумента
namespace A {
struct A {};
void call_foo(void (*f)()) {
f();
}
}
template<class T>
void f();
int main() {
call_foo(f<A::A>);
}
Является ли этот код валидным и ...
3
голоса
0
ответов
21
показ
Является ли std::istream_iterator<int> trivially copy constructible?
#include <iterator>
#include <type_traits>
static_assert(std::is_trivially_copy_constructible_v<std::istream_iterator<int>>);
Почему программа компилируется msvc, но не ...
1
голос
2
ответа
44
показа
Разница в видимости членов класса и обычных переменных
#include <iostream>
struct S {
int m = 41;
S(int m = 42): m{m} { std::cout << m << '\n'; }
};
int main() {
int m = 41;
{ int m = m; std::cout << m << '\...
2
голоса
2
ответа
47
показов
Необходимость typename в глобальной функции и функции-члене
template <class T>
T f(T::X x);
template <class T>
struct A {
T f(T::X x);
};
Почему первая функция не компилируется без typename, а вторая компилируется https://godbolt.org/z/...
1
голос
0
ответов
35
показов
Ограниченный набор типов для дефолтных операторов сравнения
Почему для создания дефолтных операторов сравнения можно использовать только (const T&) либо friend (const T&) и friend (T) комбинации параметров https://en.cppreference.com/w/cpp/language/...
0
голосов
0
ответов
46
показов
Инициализация фигурными скобками допускает сужающие преобразования
int main() {
constexpr auto x = -4294967169u;
char y{x};
return y;
}
Почему эта программа компилируется, хотя инициализация с помощью {} не должна допускать narrowing conversions?
8
голосов
1
ответ
261
показ
Обработанное исключение в деструкторе
Широко известно, что в деструкторе нельзя бросать исключения. Потому что если идет разворачивание стека и тут деструктор, то — читай http://eel.is/c++draft/except.terminate#1.4
Это понятно. Но если ...
3
голоса
2
ответа
207
показов
Поведение пустого цикла for с точки зрения стандарта
Какое поведение ожидать от кода с точки зрения стандарта?
int main(){for(;;){}}
Ошибка компиляции (CE)
Ошибка времени выполнения (RE)
Неопределённое поведение (UB)
Неспецифицированное поведение (...
2
голоса
2
ответа
80
показов
Реализация интерфейсного типа через каламбур типизации в C
Рассмотрим следующий код на C:
struct base_type
{
// ...
};
struct complex_type
{
struct base_type base_type_part;
int complex_type_part;
};
void function(struct base_type* base_type_ptr)
...
-1
голос
1
ответ
90
показов
gcc не компилирует override
struct override {};
struct A {
virtual override override() = 0;
};
struct B : A {
auto override() -> struct override override{
return ::override{};
}
};
int main() {
B()....
0
голосов
1
ответ
61
показ
Порядок вызова функций при инициализации
#include <cstdio>
struct P { int x, y; };
struct Q {
int x, y;
Q(int x, int y) : x(x), y(y) {}
};
int one() { std::puts("1"); return 1; }
int two() { std::puts("2"); ...
0
голосов
0
ответов
72
показа
Специализация алиасом шаблонного параметра шаблона
#include <iostream>
template <template <typename> class>
struct A {
A() { std::cout << '1'; }
};
template <typename>
struct X {};
template <typename T>
using Y ...
5
голосов
2
ответа
159
показов
Расположение полей класса в памяти
Имеется вот такой класс:
template <typename Type>
class Vector
{
public:
Type x, y, z;
};
Для удобства я добавил в него оперетор досутпа по индексу. Реализовал так:
template <typename ...
3
голоса
1
ответ
60
показов
Алгоритм преобразования строк в целые функциями strtol() / strtoll() и их беззнаковыми аналогами
Меня интересует алгоритм преобразования C-строк в целочисленные типы функциями strtol(), strtoll(), strtoul(), strtoull().
Начнём со стандарта языка C (n1570, 7.22.1.4):
The strtol, strtoll, strtoul, ...
2
голоса
1
ответ
125
показов
Что такое init-statement и где оно используется?
Что такое init-statement? Недавно прочитал в интернете про if с инициализатором. По данным этого же сайта прочитал, что у цикла for так, же на первом месте в скобках стоит init-statement. Я понимаю, ...
0
голосов
1
ответ
403
показа
Вывод bool в printf
Есть переменная:
bool x = true;
Хочу её загнать в printf в виде числа. Очевидно, что можно сделать
printf("%d", (int)x);
но кастить тип как-то лень и хочется сделать что-то такое:
printf(&...
0
голосов
1
ответ
76
показов
Почему нельзя прибавить значение типа UInt8 к Int?
Максимальное число UInt8 равно 255, значит мы никогда не присвоим значение больше чем может вместить Int. Следовательно почему для того чтобы это сделать нам необходимо обязательно менять тип UInt8 в ...
0
голосов
1
ответ
59
показов
Является ли определение функции declaration statement?
Насколько я знаю определение - это объявление, которое полностью описывает сущность.
То есть в моём понимании вот это выражение: int a; - объявление, а это: int a = 10; - определение. Так вот прочитав ...
-1
голос
1
ответ
166
показов
Вывод значения -1U
Кто может объяснить почему выводит 4294967295?
#include <iostream>
signed main() {
std::cout << -1u << std::endl;
}
11
голосов
2
ответа
201
показ
Можно ли любой указатель рассматривать как массив из 1 элемента?
Представим, что у нас есть нечто, например
char ch;
Мы берём адрес:
char *p = &ch;
Итак, у нас есть указатель на char. Мы точно знаем, что он валидный. Но можем ли мы рассматривать его как ...
6
голосов
1
ответ
71
показ
Потоки iostream и char*
Приведенный код компилирует gcc, но не компилирует Visual C++.
Кто из них неправ в строгом соответствии стандарту? Предполагаю, что это расширение gcc, но в стандарте доказательства не нашел (не нашел ...
2
голоса
1
ответ
61
показ
Алиас для специализации класса с параметром-шаблоном работает по-разному в gcc и clang
#include <iostream>
template <class>
struct B {};
template <template<class> class>
struct A {
A() { std::cout << "1\n"; }
};
template <>
struct A<...
13
голосов
1
ответ
340
показов
Почему запятая в индексации устарела в C++20?
Почему в C++20 использование оператора , в операторе индексации массива [] стало устаревшим?
Например, следующий use-case теперь выдаёт предупреждение:
#include <cstddef>
#include <iostream&...
2
голоса
2
ответа
197
показов
Почему std::invoke работает для данных в классе?
Почему std::invoke работает ещё и для указателей на данные в классе, а не только для указаталей на функции-члены? Разве логически он не должен только какие-то функциональные объекты вызывать?
Это ...
3
голоса
5
ответов
374
показа
Разбор работы perfect forwarding в примере
Объясните подробно, пожалуйста, как это работает и почему выводит &&.
#include <string>
#include <utility>
#include <iostream>
void foo(const std::string&) {
std::...
4
голоса
3
ответа
153
показа
Преобразование в сравнении bool
Есть ли в данном коде преобразование bool к int в самом сравнении? Если есть, то почему так сделано, ведь код потенциально медленнее из-за преобразований?
std::cout << (true == true) << '\...
3
голоса
2
ответа
51
показ
Корректность кода с заведомо неверными шаблонными функциями-членами
struct A {
template<class T>
void foo() {
static_assert(sizeof(T) == 0);
}
};
#include <type_traits>
struct B {
template<class T>
std::enable_if_t<...
0
голосов
1
ответ
54
показа
Дедукция возвращаемого типа у оператора преобразования
Почему следующий код компилируется?
template<class>
struct A {
operator auto() {
return 42;
}
};
int main() {
int a = A<int>{};
}
А этот не компилируется?
struct A {
template&...
6
голосов
1
ответ
1k
показов
Что такое определение, объявление и инициализация переменной
Объясните пожалуйста доступно, что такое определение, объявление и инициализация переменной.
Как их отличать синтаксически. Что без чего можно делать, а что без чего нельзя. Прочитал уже несколько ...
4
голоса
1
ответ
162
показа
Сокрытие имен c помощью type alias
Пример:
struct A {};
struct B { using A = A; };
int main()
{
B b;
}
Clang компилирует это. GCC выдает ошибку (пример):
declaration of 'using A = struct A' changes meaning of 'A'
В стандарте ...
7
голосов
2
ответа
200
показов
Как Стандарт C++ регламентирует правильное использование malloc()?
Скажите, пожалуйста, для каких типов в C++ достаточно использования malloc(), вместо new()?
Я спрашиваю, потому что, согласно правилам C++, если мы выделяем память (при помощи malloc() и родственных ...
2
голоса
0
ответов
281
показ
Ограничение на размер динамического массива в Си++
Этот код компилируется и работает нормально:
long long n = 6'000'000'000;
auto *a = new char[n];
А если написать просто:
auto *a = new char[6'000'000'000];
то происходит ошибка компиляции:
...
4
голоса
1
ответ
117
показов
Можно ли считать данную ситуацию неопределенным поведением?
Есть следующий код:
#include <stdio.h>
int main(void)
{
printf("%p\n", NULL);
}
В стандарте говорится, что
7.19 Common definitions <stddef.h>
The macros are
NULL
...
0
голосов
2
ответа
64
показа
Деструкция неинициализированных локальных статических переменных
Здесь сказано, что статические локальные переменные не инициализируются, если инициализация выбрасывает исключение:
If the initialization throws an exception, the variable is not
considered to be ...
4
голоса
2
ответа
205
показов
Что если обернуть тип массива в скобки при выделении памяти?
Стандартный способ выделить массив из 5 элементов - так:
int *a = new int[5];
ну и удаляется он
delete[] a;
А что если добавить скобки?
int *b = new (int[5]);
Круглые скобки заставляют выделять ...
1
голос
1
ответ
88
показов
Можно ли вызывать std::move несколько раз?
Корректен ли подобный код?
template <typename smth> int f() {
smth x;
smth y = std::move(x);
smth z = std::move(x); // Снова x, не y
return y.do_smth();
}
6
голосов
2
ответа
833
показа
Почему приоритет постфиксного инкремента больше чем префиксного?
Оказалось, что постфиксные инкремент и декремент имеют более высокий приоритет, чем префиксные (источник). Правда, там же есть интересная фраза, смысл которой я не очень понимаю: "Стандарт не ...
12
голосов
4
ответа
248
показов
Использование --x++ допустимо?
Есть пара вопросов о допустимости и корректности записи вроде --x++
Верно ли утверждать, что (--x)++ представляет собой некоторый эквивалент (x-1)? Т. е. верно ли, что этот код корректен и НЕ ...
4
голоса
1
ответ
77
показов
border-radius у body
Почему div не обрезался до круга? В аналогичном случае с другим контейнером всё обрезается. Причём, вроде как во всех браузерах такое поведение.
body {
width: 10em;
height: 10em;
border-...
1
голос
3
ответа
74
показа
Почему имена в шаблонах необязательны?
Смотрю описание шаблонов и заметил, что имена параметров везде помечены как необязательные, но ведь если имя отсутствует, то параметр внутри функции я использовать не смогу. Получается, что я могу ...
4
голоса
2
ответа
263
показа
Чтение и запись членов union
Никак не могу найти однозначный ответ на следующий вопрос.
Сколько себя помню, union-ы всегда использовались не столько для поочередного хранения разных данных в одном месте, сколько для гибкого ...
3
голоса
1
ответ
298
показов
Неявная декларация
Подскажите, пожалуйста, если в a.c нет объявления функции, которая определена в b.c, но при этом в a.c происходит вызов такой функции, то что происходит?
Интересует язык C.
В описанной ситуации ...
5
голосов
2
ответа
1k
показов
Функция system в C++
Смотрю описание функции system и заметил два странных места:
If command is not a null pointer, the value returned depends on the system and library implementations, but it is generally expected to ...
4
голоса
3
ответа
134
показа
Определение типа захватываемой лямбдой переменной
#include <iostream>
#include <type_traits>
int main() {
int x, &y = x;
[=] {
std::cout << std::is_same_v<decltype((x)), int>
<< std:...
6
голосов
1
ответ
98
показов
Программа корректна только для пустой пачки параметров
Насколько я понимаю, следующая программа не должна компилироваться в соответствии со стандартом, однако последние версии gcc, clang и MSVC компилируют её без ошибок. Я что-то неправильно понимаю или ...
2
голоса
1
ответ
75
показов
Необычная функция main
Недавно увидел в программе следующую версию main функции:
int main(int number, char** array)
Эта версия соответствует стандарту или это какое-то расширение компилятора?
3
голоса
0
ответов
41
показ
Зачем инициализировать все поля структуры? [дубликат]
Почему конструктор структуры должен инициализировать все поля, а конструктор класса - нет?
https://ideone.com/1F1BR3
using System;
class SmthClass
{
public int X;
public int Y;
public ...