Making all instances of tag types inline about ideas

[apolukhin]

Михаил Мальцев, 6 декабря 2016, 15:29
С placeholder-ами таких проблем быть не должно, т.к. они "extern const", а не "constexpr":
https://github.com/gcc-mirror/gcc/blob/master/libstdc%2B%2B-v3/src/c%2B%2B11/placeholders.cc

Anton Bikineev, 7 декабря 2016, 15:38
Михаил Мальцев,
Миша, это только в libstdc++ имплементации. Стандарт же говорит [20.14.10.4.2]:
Placeholders should be defined as:
constexpr unspecified _1{};
If they are not, they shall be declared as:
extern unspecified _1;

yndx-antoshkka, 7 декабря 2016, 15:49
Проверил логи заседания. GB28 было отправлено в LEWG для того, чтобы определить каким именно методом решать эту проблему: просто добавить недостающие inline, либо сделать чтобы constexpr для переменных автоматически добавлял Inline (как он сейчас делает для функций). В LEWG возникли вопросы по поводу ABI и решение было отложено на след заседание.

Если есть желание помочь с этой проблемой, стоит написать proposal, в котором исследовать влияние добавления inline на ABI для clang и gcc. В нём же, стоит попробовать сформулировать "патч" к стандарту, который говорит что constexpr автоматически добавляет inline и для переменных тоже. Готов всячески помогать при написании proposal (но сделать всё самостоятельно к концу января не смогу).

Anatoly Scheglov, 27 декабря 2016, 18:45
Уже предлагали всякие Inline Variables http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4424.pdf

yndx-antoshkka, 9 марта 2017, 17:39
Исправили в C++17. Пометили теги и все шаблонные переменные как inline в https://wg21.link/p0607.

Меня немного волнует, что эти переменные получили таким образом external linkage вместо internal linkage. Но волнует не настолько сильно, чтобы думать о том как это исправить.