这是MCVE(无法编译): -
#include <iostream>
#include <type_traits>
//-- library ---
template<class T,template<class>class Slot,class DefaultType>
class GetType{
template <typename C> static Slot<T> check( Slot<T>*);
template <typename> static DefaultType check(...);
public: using type=decltype(check<T>());
};
template<class T,template<class>class Slot,class DefaultType>
using X = typename GetType<T,Slot,DefaultType>::type;
这是它的用法: -
//--- user defined ---
class B {public: using MyType=int;};
class C{};
template<class T> using SlotCustom = typename T::MyType;
int main(){
using ShouldInt=X< B ,SlotCustom ,long>; //B::Mytype =int , result:int
using ShouldLong=X< C ,SlotCustom ,long>;//C::Mytype not exist, result:long
std::cout<< std::is_same_v<ShouldInt, int> <<std::cout; //should true
std::cout<< std::is_same_v<ShouldLong, long> <<std::cout; //should true
}
我的目标是创建一个库typedef X< Param1 ,SlotCustom ,DefaultType>
,意思是以下伪代码: -
if ( SlotCustom<Param1> has meaning) return "SlotCustom<Param1>" ;
else return "DefaultType"; //i.e. by default
怎么做?
Here是一个类似的问题。
主要区别在于X<T>
只能有一个bool,而且许多东西都是硬编码的。
我是模板专业化的新手。解决方案可能很明显,但我找不到它。
如果我正确地理解了你的问题,那么你的方法就可以起作用了
template <template <class> class Slot, class DefaultType>
struct GetType
{
template <typename T>
static Slot<T>&& deduce(T&&);
static DefaultType&& deduce(...);
template <typename T>
using type = std::remove_reference_t<decltype(deduce(std::declval<T>()))>;
};
template <class T, template <class> class Slot, class DefaultType>
using X = typename GetType<Slot, DefaultType>::template type<T>;
你最初的尝试的问题是在check
的表达式中调用你的decltype()
函数需要一些参数来进行重载解析,这样才能发生SFINAE魔法。我上面的例子依赖于std::declval来引入必要类型的伪参数。另外,请注意我的帮助函数使用引用而不是直接按值传递类型。这样它也适用于不可复制的类型。请注意,如果Slot<T>
或DefaultType
本身就是引用类型,则会出现问题。例如,人们必须引入额外的包装类型来处理...
或者,您可以使用部分类模板特化来选择正确的类型,例如:
template <class T, template <class> class Slot, class DefaultType, typename = void>
struct GetType
{
using type = DefaultType;
};
template <class T, template <class> class Slot, class DefaultType>
struct GetType<T, Slot, DefaultType, std::void_t<Slot<T>>>
{
using type = Slot<T>;
};
template <class T, template <class> class Slot, class DefaultType>
using X = typename GetType<T, Slot, DefaultType>::type;
这里的诀窍在于使用默认参数void
的最后一个模板参数。由于部分类模板特化的匹配方式有效(例如,参见this answer),仅当Slot<T>
是有效类型时才会选择特化。请注意,上述解决方案需要C ++ 17。如果你必须保持在C ++ 14中(你可能不这样做,假设你自己的例子依赖于C ++ 17),你可以,例如,提供你自己的void_t
实现(如here所述):
template <typename... T> struct make_void { using type = void; };
template <typename... T> using void_t = typename make_void<T...>::type;