В другой шаблон, например так: template<typename T> struct test_class {

Question

В другой шаблон, например так: template<typename T> struct test_class {

template <class T> static typename T::element_type foo(int);
template <class T> static T foo(...);
using ActualType = decltype(foo<T>(1));
};

test_class<shared_ptr<bool>> zaz; // works
static_assert(std::is_same_v<test_class<shared_ptr<bool>>::ActualType, shared_ptr<bool>::element_type>);

test_class<bool> zuz; // fails?
static_assert(std::is_same_v<test_class<bool>::ActualType, bool>);

#c++ #embedded #programming #russian

0

26.01.2018

2 ответов

35 просмотров

Igor Akhmetov Автор вопроса

хотя element_type тут bool, так что ассерты ничего не доказывают :)

0

26.01.2018

Igor Ivanov · Accepted Answer

Igor Ivanov

оо, спасибо! сейчас ещё вдруг нашёл вот такую штуку: template<class T, class = void> struct ET_or_default { using type = T; }; template<class T> struct ET_or_default<T, void_t<typename T::element_type>> { using type = typename T::element_type; }; using ActualType = ET_or_default<T>;

0

26.01.2018

170 похожих чатов

В другой шаблон, например так: template<typename T> struct test_class {

2 ответов

Похожие вопросы