C ++ 98/03 std :: is_constructible реализация

Как использовать enable_if для включения функций-членов на основе параметра шаблона класса

Как я могу использовать std :: enable_if в операторе преобразования?

По сути, я хочу, чтобы мой тип диапазона был неявно конвертируемым изRange<const char> вRange<const unsigned char>, std :: enable_if кажется невозможным, потому что функция не принимает аргументов и не имеет возврата. Какая работа вокруг? Вот в ...

Одним из способов достижения этого является внутреннее тегирование-отправка:

Вторая проблема реальна. Я упустил из виду 14.7.1 / 2; аргументы по умолчанию не создаются самим шаблоном.

@OneOfOne Я уже проверил твой ответ выше :)

также распечатает

исал следующий код: #include <iostream> #include <string> #include <type_traits> template<typename, typename = void> struct is_incrementable : std::false_type {}; template<typename T> struct is_incrementable<T, decltype( ++std::declval<T&>() )> ...

думаю ...

читал различные авторитеты по этому вопросу, в том числеDewhurst [http://www.semantics.org/once_weakly/w02_SFINAE.pdf]и все же так и не удалось с этим вопросом, казалось бы, простым. Что я хочу сделать, этовызов C ++функциональный ...

Таким образом, способ исправить это по умолчанию аргумент (возвращаемый тип не учитывается):

лятор Microsoft (Visual Studio 2017 15.2) отклоняет следующий код: #include <type_traits> struct B { template<int n, std::enable_if_t<n == 0, int> = 0> void f() { } }; struct D : B { using B::f; template<int n, std::enable_if_t<n == 1, int> = 0> ...

Не мое отрицательное мнение, кстати.

тся ли правильными несколько специализаций шаблонов классов, если каждая из них отличается только между шаблонами, включающими параметры шаблона, в не выводимых контекстах? Типичный примерstd::void_t использует его для определения черты, ...