1
#include <concepts>
#include <type_traits>

template <std::signed_integral T>
std::make_unsigned_t<T> unsign(T x) {
    return x;
}

int main() {
    unsign(42);
    unsign(42.);
}

Почему 2 вызов не компилируется из-за ошибки в std::make_unsigned_t<T>, а не из-за несоответствия типа концепту? Как исправить?

error: implicit instantiation of undefined template 'std::__make_unsigned_selector<double, false, false>' { typedef typename __make_unsigned_selector<_Tp>::__type type; };

8
  • если посмотреть чуточку ниже на строку в ошибках, то там будет видно то, что Вы похоже и хотите instantiation of template class 'std::make_unsigned<double>' requested here using make_unsigned_t = typename make_unsigned<_Tp>::type;
    – KoVadim
    15 ноя 2021 в 13:59
  • @KoVadim я хочу candidate: 'template<class T> requires signed_integral<T> std::make_unsigned_t<T> foo(T)'/constraints not satisfied/т.п.
    – bog
    15 ноя 2021 в 14:01
  • а кто то такой уже видели? (я просто нигде)
    – KoVadim
    15 ноя 2021 в 14:02
  • @KoVadim да, если заменить std::make_unsigned_t<T> на просто T, то будет ожидаемая ошибка
    – bog
    15 ноя 2021 в 14:03
  • 1
    Рассказывайте, чем это собиралось и с какими флагами. А лучше сразу со ссылкой на онлайн компилятор. И не непопулярное мнение: концепты фактически бесполезны, делайте static_assert 15 ноя 2021 в 14:42

1 ответ 1

4

Это минус концептов, наверное единственный по сравнению с обычным SFINAE.

Они (и концепты, и requires) проверяются поздно - уже после того, как шаблонный аргумент подставляется в возвращаемый тип и т. п.

Возможные решения:

  • Завернуть std::make_unsigned_t в свой using с концептом на шаблонном параметре.
  • Использовать обычный SFINAE.

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими пользовательским соглашением, политикой конфиденциальности и политикой о куки

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.