Сообщение Re[5]: Поиск имени в NS параметра шаблона - можно что-то под от 04.01.2020 11:42
Изменено 04.01.2020 11:44 rg45
Re[5]: Поиск имени в NS параметра шаблона - можно что-то подобное придумать?
Здравствуйте, _NN_, Вы писали:
_NN>Note: the discarded statement can't be ill-formed for every possible specialization:
_NN>https://en.cppreference.com/w/cpp/language/if#Constexpr_If
Ты почитай ниже, там имеет значение dependent or not dependent.
Если бы все всегда вычислялось, как бы могла работать функция, типа такой (пример оттуда же):
_NN>Note: the discarded statement can't be ill-formed for every possible specialization:
_NN>https://en.cppreference.com/w/cpp/language/if#Constexpr_If
Ты почитай ниже, там имеет значение dependent or not dependent.
Если бы все всегда вычислялось, как бы могла работать функция, типа такой (пример оттуда же):
template <typename T>
auto get_value(T t) {
if constexpr (std::is_pointer_v<T>)
return *t; // deduces return type to int for T = int*
else
return t; // deduces return type to int for T = int
}
Re[5]: Поиск имени в NS параметра шаблона - можно что-то под
Здравствуйте, _NN_, Вы писали:
_NN>Note: the discarded statement can't be ill-formed for every possible specialization:
_NN>https://en.cppreference.com/w/cpp/language/if#Constexpr_If
Ты почитай ниже, там имеет значение dependent or not dependent (так же, как и в обычных шаблонах).
Если бы все всегда вычислялось, как бы могла работать функция, типа такой (пример оттуда же):
_NN>Note: the discarded statement can't be ill-formed for every possible specialization:
_NN>https://en.cppreference.com/w/cpp/language/if#Constexpr_If
Ты почитай ниже, там имеет значение dependent or not dependent (так же, как и в обычных шаблонах).
Если бы все всегда вычислялось, как бы могла работать функция, типа такой (пример оттуда же):
template <typename T>
auto get_value(T t) {
if constexpr (std::is_pointer_v<T>)
return *t; // deduces return type to int for T = int*
else
return t; // deduces return type to int for T = int
}