sfinae

2зной

2ответ

Метапрограммирование C++, максимум между двумя параметрами шаблонов

Я не делал этого некоторое время. Я в основном имеют класс template <int L> class MyInteger { //code }; А конкретно я хотел бы реализовать что-то вроде (как метод) template <int L, int M, int N>

2зной

1ответ

Почему SFINAE работает не так, как ожидалось в этом примере?

#include <iostream> #include <type_traits> using namespace std; template<typename T> constexpr auto is_pure_input_iterator(int) -> conditional_t < is_convertible_v < iterator_tr

2зной

1ответ

Как использовать SFINAE с функцией нулевого члена?

У меня есть шаблон шаблона Bird с параметром шаблона Boolean can_fly. В зависимости от этого значения я хочу включить функцию-член с сигнатурой void fly();. Это мой код: #include <type_traits> templ

16зной

2ответ

Должен ли следующий код компилироваться в соответствии со стандартом C++?

#include <type_traits> template <typename T> struct C; template<typename T1, typename T2> using first = T1; template <typename T> struct C<first<T, std::enable_if_t<std::is_same<T, int>::valu

11зной

2ответ

Как избежать распада с параметром шаблона дедукцией

упрощенными: // CHAR_TYPE == char, wchar_t, ... template <typename CHAR_TYPE, unsigned CHAR_COUNT> void Foo(CHAR_TYPE const (&value)[CHAR_COUNT]) noexcept { TRACE("const ref array"); // p

2зной

2ответ

Почему SFINAE не работает с std :: enable_if_t?

#include <vector> #include <list> #include <iostream> template < typename T, template<typename, typename = std::allocator<T>> class C, typename = std::enable_if_t < std::

3зной

1ответ

SFINAE внутри std :: аргумент enable_if

У меня разные вид типы, каждый из которых имеет постоянную константу std::size_t View::dimension и тип члена typename View::value_type. Следующая проверка компиляции типа должны проверить, если оба Fr