Вопросы с меткой [language-lawyer]
Вопросы о тонкостях формальных или общепринятых спецификаций языков программирования и связанных с ними информационных систем.
129
вопросов
1
голос
3
ответа
66
показов
Зачем нужен тег meta в html?
Например для того, чтобы на сайте обозначить автора в теге head, нужно прописать данную строчку кода:
<meta name="author" content="(имя автора)">
Но зачем, если можно было ...
3
голоса
2
ответа
157
показов
Можно ли модифицировать padding байты?
Например:
struct A {
char x;
int y;
} a{1, 2}, b = a;
int main() {
reinterpret_cast<unsigned char*>(&a)[1] = 2;
}
Легально ли это? И останется ли b равным a?
2
голоса
2
ответа
97
показов
Эквивалентны ли обычные шаблонные функции сокращённым шаблонным функциям?
Эквивалентны ли следующие записи? И можно ли использовать одно в объявлении, а другое - в определении?
void foo(auto x);
template<typename T>
void foo(T x);
Я хочу использовать первый краткий ...
2
голоса
1
ответ
116
показов
Почему разыменование nullptr приводит к ошибке?
Почему не компилируется *nullptr? Ведь сказано, что он приводим к любому указательному типу. Как я понимаю, это означает operator T*, а значит должно быть неявное преобразование и должно ...
1
голос
1
ответ
36
показов
Можно ли не ставить пробел между функцией и аргументом?
Можно ли вызывать функцию с каким-то аргументом без пробела между ними?
main=putStr"test"
Например, такой код компилируется. Пытался посмотреть в https://www.haskell.org/onlinereport/...
3
голоса
2
ответа
175
показов
Является ли возврат ссылки на уничтожаемый объект - UB?
Это UB?
const int& getValue() {
return 1;
}
int main() {
const int& a = getValue();
}
При инициализации константной ссылки литералом создается временный объект, область видимости, ...
2
голоса
1
ответ
30
показов
Поиск имен в шаблонном классе
Какие определения должны использоваться в шаблонном классе, в случае, если возникает неоднозначность между именем шаблонного параметра и типом, определенном в базовом классе зависимом от шаблонного ...
1
голос
0
ответов
60
показов
Что означает фраза про lvalue в абзаце 1 раздела 6.3.2.1 черновика стандарта C2x n2596?
В черновике стандарта есть фраза:
if an lvalue does not designate an object when it is evaluated, the behavior is undefined.
Какой объект может быть not evaluated, чтобы он мог в то же время ...
8
голосов
1
ответ
123
показа
Чем обусловлен минимальный предельно допустимый размер объекта?
В стандарте указан рекомендованный минимальный предельно допустимый размер для объекта — 262144. Чем обусловлено именно это магическое число? Почему не меньше/больше?
1
голос
2
ответа
132
показа
Происходит ли неявный каст к указателю на функцию при вызове функции?
При вызове функции происходит неявный каст к указателю на функцию и разыменование?
#include <iostream>
int g() {
std::cout << "1";
return 1;
}
int main()
{
g(); //...
4
голоса
3
ответа
209
показов
Продление времени жизни временного объекта в присваивании
#include <iostream>
int destructions;
struct A { ~A() noexcept { ++destructions; } };
int main() {
{
const A& a = A{} = A{};
std::cout << "Destructions in scope: &...
2
голоса
2
ответа
157
показов
Использование лямбды для constexpr/consteval параметров функции
В C++ параметры constexpr/consteval функции сами не являются constexpr/consteval. Однако если обернуть передачу этих параметров в лямбду, то всё работает:
consteval auto foo(auto x) {
return x;
}
...
3
голоса
1
ответ
85
показов
Когда можно опускать пустые угловые скобки?
В этом вопросе можно использовать std::less с пустыми скобками std::less<>, но нельзя без них std::less. В то время как этот код принимает оба варианта:
std::sort(v.begin(), v.end(), std::less())...
3
голоса
2
ответа
238
показов
Определение inline функции вне класса
Является ли функция, определённая вне класса, используя спецификатор inline, inline? Можно ли в объявлении не использовать inline, а в определении - использовать?
struct S {
void foo();
};
inline ...
4
голоса
1
ответ
89
показов
Почему нельзя использовать goto в constexpr функциях?
Почему нельзя использовать goto в constexpr функциях?
constexpr auto foo() {
hell: goto hell; // error: 'goto' in 'constexpr' function
}
4
голоса
1
ответ
87
показов
Поиск функции через шаблонный аргумент аргумента
namespace A {
struct A {};
void call_foo(void (*f)()) {
f();
}
}
template<class T>
void f();
int main() {
call_foo(f<A::A>);
}
Является ли этот код валидным и ...
5
голосов
1
ответ
88
показов
Является ли 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, но не ...
3
голоса
2
ответа
52
показа
Разница в видимости членов класса и обычных переменных
#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 << '\...
4
голоса
2
ответа
64
показа
Необходимость typename в глобальной функции и функции-члене
template <class T>
T f(T::X x);
template <class T>
struct A {
T f(T::X x);
};
Почему первая функция не компилируется без typename, а вторая компилируется https://godbolt.org/z/...
2
голоса
0
ответов
45
показов
Ограниченный набор типов для дефолтных операторов сравнения
Почему для создания дефолтных операторов сравнения можно использовать только (const T&) либо friend (const T&) и friend (T) комбинации параметров https://en.cppreference.com/w/cpp/language/...
1
голос
1
ответ
121
показ
Инициализация фигурными скобками допускает сужающие преобразования
int main() {
constexpr auto x = -4294967169u;
char y{x};
return y;
}
Почему эта программа компилируется, хотя инициализация с помощью {} не должна допускать narrowing conversions?
8
голосов
1
ответ
953
показа
Обработанное исключение в деструкторе
Широко известно, что в деструкторе нельзя бросать исключения. Потому что если идет разворачивание стека и тут деструктор, то — читай http://eel.is/c++draft/except.terminate#1.4
Это понятно. Но если ...
6
голосов
2
ответа
299
показов
Поведение пустого цикла for с точки зрения стандарта
Какое поведение ожидать от кода с точки зрения стандарта?
int main(){for(;;){}}
Ошибка компиляции (CE)
Ошибка времени выполнения (RE)
Неопределённое поведение (UB)
Неспецифицированное поведение (...
2
голоса
2
ответа
87
показов
Реализация интерфейсного типа через каламбур типизации в 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
ответ
111
показов
gcc не компилирует override
struct override {};
struct A {
virtual override override() = 0;
};
struct B : A {
auto override() -> struct override override{
return ::override{};
}
};
int main() {
B()....
1
голос
2
ответа
131
показ
Порядок вызова функций при инициализации
#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"); ...
1
голос
1
ответ
115
показов
Специализация алиасом шаблонного параметра шаблона
#include <iostream>
template <template <typename> class>
struct A {
A() { std::cout << '1'; }
};
template <typename>
struct X {};
template <typename T>
using Y ...
5
голосов
2
ответа
169
показов
Расположение полей класса в памяти
Имеется вот такой класс:
template <typename Type>
class Vector
{
public:
Type x, y, z;
};
Для удобства я добавил в него оперетор досутпа по индексу. Реализовал так:
template <typename ...
3
голоса
1
ответ
120
показов
Алгоритм преобразования строк в целые функциями strtol() / strtoll() и их беззнаковыми аналогами
Меня интересует алгоритм преобразования C-строк в целочисленные типы функциями strtol(), strtoll(), strtoul(), strtoull().
Начнём со стандарта языка C (n1570, 7.22.1.4):
The strtol, strtoll, strtoul, ...
2
голоса
1
ответ
283
показа
Что такое init-statement и где оно используется?
Что такое init-statement? Недавно прочитал в интернете про if с инициализатором. По данным этого же сайта прочитал, что у цикла for так, же на первом месте в скобках стоит init-statement. Я понимаю, ...
0
голосов
1
ответ
1k
показов
Вывод bool в printf
Есть переменная:
bool x = true;
Хочу её загнать в printf в виде числа. Очевидно, что можно сделать
printf("%d", (int)x);
но кастить тип как-то лень и хочется сделать что-то такое:
printf(&...
0
голосов
1
ответ
77
показов
Является ли определение функции declaration statement?
Насколько я знаю определение - это объявление, которое полностью описывает сущность.
То есть в моём понимании вот это выражение: int a; - объявление, а это: int a = 10; - определение. Так вот прочитав ...
0
голосов
1
ответ
381
показ
Вывод значения -1U
Кто может объяснить почему выводит 4294967295?
#include <iostream>
signed main() {
std::cout << -1u << std::endl;
}
11
голосов
2
ответа
248
показов
Можно ли любой указатель рассматривать как массив из 1 элемента?
Представим, что у нас есть нечто, например
char ch;
Мы берём адрес:
char *p = &ch;
Итак, у нас есть указатель на char. Мы точно знаем, что он валидный. Но можем ли мы рассматривать его как ...
6
голосов
1
ответ
84
показа
Потоки iostream и char*
Приведенный код компилирует gcc, но не компилирует Visual C++.
Кто из них неправ в строгом соответствии стандарту? Предполагаю, что это расширение gcc, но в стандарте доказательства не нашел (не нашел ...
3
голоса
1
ответ
67
показов
Алиас для специализации класса с параметром-шаблоном работает по-разному в gcc и clang
#include <iostream>
template <class>
struct B {};
template <template<class> class>
struct A {
A() { std::cout << "1\n"; }
};
template <>
struct A<...
14
голосов
1
ответ
380
показов
Почему запятая в индексации устарела в C++20?
Почему в C++20 использование оператора , в операторе индексации массива [] стало устаревшим?
Например, следующий use-case теперь выдаёт предупреждение:
#include <cstddef>
#include <iostream&...
3
голоса
2
ответа
207
показов
Почему std::invoke работает для данных в классе?
Почему std::invoke работает ещё и для указателей на данные в классе, а не только для указаталей на функции-члены? Разве логически он не должен только какие-то функциональные объекты вызывать?
Это ...
4
голоса
5
ответов
689
показов
Разбор работы perfect forwarding в примере
Объясните подробно, пожалуйста, как это работает и почему выводит &&.
#include <string>
#include <utility>
#include <iostream>
void foo(const std::string&) {
std::...
4
голоса
3
ответа
323
показа
Преобразование в сравнении bool
Есть ли в данном коде преобразование bool к int в самом сравнении? Если есть, то почему так сделано, ведь код потенциально медленнее из-за преобразований?
std::cout << (true == true) << '\...
3
голоса
2
ответа
59
показов
Корректность кода с заведомо неверными шаблонными функциями-членами
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
ответ
66
показов
Дедукция возвращаемого типа у оператора преобразования
Почему следующий код компилируется?
template<class>
struct A {
operator auto() {
return 42;
}
};
int main() {
int a = A<int>{};
}
А этот не компилируется?
struct A {
template&...
7
голосов
1
ответ
3k
показов
Что такое определение, объявление и инициализация переменной
Объясните пожалуйста доступно, что такое определение, объявление и инициализация переменной.
Как их отличать синтаксически. Что без чего можно делать, а что без чего нельзя. Прочитал уже несколько ...
4
голоса
1
ответ
175
показов
Сокрытие имен 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
голосов
3
ответа
270
показов
Как Стандарт C++ регламентирует правильное использование malloc()?
Скажите, пожалуйста, для каких типов в C++ достаточно использования malloc(), вместо new()?
Я спрашиваю, потому что, согласно правилам C++, если мы выделяем память (при помощи malloc() и родственных ...
2
голоса
0
ответов
417
показов
Ограничение на размер динамического массива в Си++
Этот код компилируется и работает нормально:
long long n = 6'000'000'000;
auto *a = new char[n];
А если написать просто:
auto *a = new char[6'000'000'000];
то происходит ошибка компиляции:
...
2
голоса
1
ответ
675
показов
Объекты нулевого размера и массивы нулевой длины
Подскажите, пожалуйста, что стандарты C и C++ говорят про объекты нулевой длины?
С одной стороны, все говорят, что размер объекта не может быть меньше единицы. То есть, даже если массив или объект - ...
5
голосов
1
ответ
132
показа
Можно ли считать данную ситуацию неопределенным поведением?
Есть следующий код:
#include <stdio.h>
int main(void)
{
printf("%p\n", NULL);
}
В стандарте говорится, что
7.19 Common definitions <stddef.h>
The macros are
NULL
...
1
голос
2
ответа
76
показов
Деструкция неинициализированных локальных статических переменных
Здесь сказано, что статические локальные переменные не инициализируются, если инициализация выбрасывает исключение:
If the initialization throws an exception, the variable is not
considered to be ...
4
голоса
2
ответа
272
показа
Что если обернуть тип массива в скобки при выделении памяти?
Стандартный способ выделить массив из 5 элементов - так:
int *a = new int[5];
ну и удаляется он
delete[] a;
А что если добавить скобки?
int *b = new (int[5]);
Круглые скобки заставляют выделять ...