CD
Похоже, не нужна, раз MSVC вообще её не выполняет и хорошо себя чувствует
MSVC использует совершенно другой способ инстанцирования шаблонов без включенного Zc:twoPhase. Вы знаете, как избегать нарушений ODR в MSVC способе?
Size: a a a
2020 May 04
CD
Для MSVC в этом режиме шаблон это форма макроса
CD
Он вообще не компилирует его при проходе
A
Для MSVC в этом режиме шаблон это форма макроса
это похоже на более правильный подход
CD
это похоже на более правильный подход
в котором любое изменение результата лукапа кодом после шаблона - ODR violation?
CD
можете пояснить?
да, шаблон обязан инстанцироваться одинаково независимо от TU. Если один из TU случайно добавит функцию, которая повлияет на последующее инстанцирование...
CD
можете пояснить?
//some.cpp
bool operator < (vector<bool>, vector<bool>) { /***/}
void some(vector<vector<bool>> & arg) {
std::sort(arg.begin(), arg.end()); //IFNDR в MSVC шаблонах
}
A
Понял, мне кажется очень странным это требование, я бы ожидал от шаблона, что он как раз-таки зависит от контекста в точке инстанциирования.
Смутно припоминаю, что шаблоны могут линковаться между TU, это используется для инстанциирования и экспорта шаблонов из DLL, но это довольно странное решение. Если так прописано в стандарте, то мне стало немного понятнее, спасибо.
Смутно припоминаю, что шаблоны могут линковаться между TU, это используется для инстанциирования и экспорта шаблонов из DLL, но это довольно странное решение. Если так прописано в стандарте, то мне стало немного понятнее, спасибо.
CD
Понял, мне кажется очень странным это требование, я бы ожидал от шаблона, что он как раз-таки зависит от контекста в точке инстанциирования.
Смутно припоминаю, что шаблоны могут линковаться между TU, это используется для инстанциирования и экспорта шаблонов из DLL, но это довольно странное решение. Если так прописано в стандарте, то мне стало немного понятнее, спасибо.
Смутно припоминаю, что шаблоны могут линковаться между TU, это используется для инстанциирования и экспорта шаблонов из DLL, но это довольно странное решение. Если так прописано в стандарте, то мне стало немного понятнее, спасибо.
Я уверен, что можно найти материалы дискуссий 2003 года, когда twoPhase был принят в стандарт; кажется, ниблоиды полностью закрывают основную претензию к twoPhase, так что комитет не ошибся ;)
CD
qualified call to customization point
M
В требованиях для аллокатора A<T> есть конструктор копирования от соответствующего A<U> для любого U
См. std::allocator_traits::rebind_alloc
См. std::allocator_traits::rebind_alloc
Чет не нашел, как им пользоваться?
AB
Да