Почему концепции C ++ 20 (выражение требований) с использованием std :: is_arithmetic_v не в состоянии обеспечить ограни ⇐ C++

[Anonymous]

Я столкнулся с неожиданным поведением при внедрении концепций C ++ 20, основанного на примере из шаблон -метапреграммирования шаблонов с помощью C ++: узнайте все о шаблонах C ++ и разблокируйте силу метапреграммирования шаблонов (по мариусу Банчилу, 2022). эквивалент: < /p>
версия 1: < /p>

Код: Выделить всё

template
concept arithmetic = requires {
std::is_arithmetic_v;
};
< /code>
версия 2: < /p>
template
concept arithmetic = std::is_arithmetic_v;
< /code>
Однако первая версия: < /p>
#include 
#include 
#include 

template
concept arithmetic = requires {
std::is_arithmetic_v;
};

template 
requires arithmetic
T add(T const a, T const b) { return a + b; }

int main() {
add("a", "b");
}

как Visual Studio, 2022, так и https://cppinsights.io/ с -std = c ++ 20 есть ошибка компиляции:

'+': не удается добавить два указателя

, но следующая версия
​​

.#include
#include
#include

template
concept arithmetic = std::is_arithmetic_v;

template
requires arithmetic
T add(T const a, T const b) { return a + b; }

int main() {
add("a", "b");
}
< /code>
Те же компиляторы с одинаковыми флагами компиляции говорили мне: < /p>

'Добавить': не найдена соответствующая перегруженная функция < /p>
< /blockquote>
Согласно стандарту C ++, простое требование в предложении только для этого. /> Почему здесь терпит неудачу, основанный на требуемых? Как я могу согласовать определение концепции с предполагаемым поведением книги?

Подробнее здесь: https://stackoverflow.com/questions/796 ... c-v-fail-t