K
в моём понимании это должны быть простые проверки, по типу передаю параметр шаблонный и что то элементарное компилятор сразу может подсказать, типо нет T::value_type
Size: a a a
2021 June 30
K
полностью всё и сразу это слишком затратно
АК
И где граница между "чем-то элементарным" и "сложным"?
K
и вообще говоря requires auto можно подменить на этапе компиляции вызовом метода с переданными аргументами(псевдовызовом, хз, то есть попробовать выполнить сразу шаблонную подстановку)
K
проходишь по функции, очевидное выписываешь, остальное даже не пытаешься разобрать
АК
Что такое "очевидное"?
K
то что ты умеешь распознавать, зависит от реализации
K
ну это не тянет на конструкцию языка, но просто на функцию компилятора тянет
АК
Так себе формализация. Ну ладно. Что должен сгенерировать компилятор для
requires auto в таком коде:template <class T>
void foo(T value) {
if constexpr (sizeof(T) > 10) {
using X = typename T::A;
}
else {
using X = typename T::B;
}
}
K
смысл в том чтобы не составлять requires, а просто попробовать шаблонную подстановку
K
это уж точно компилятор умеет
AF
Ниче непонятно
AF
Он и так это делает
AF
И пишет notes почему не смог
S
возможно проблема решается универсальными типами данных типа Json
K
он делает это на этапе компиляции, а не на этапе когда я пишу вызов
AF
Компилятор вызывается неожиданно на этапе компиляции
AF
То что твоя ideшка не вызывает компилятор/language server каждые 5 секунд это ее проблема
АК
Нейросеть в чате?