问题如何确定是否存在模板专门化

我想检查某个模板专业化是否存在，其中一般情况没有定义。

鉴于：

template <typename T> struct A; // general definition not defined
template <> struct A<int> {};   // specialization defined for int

我想定义一个像这样的结构：

template <typename T>
struct IsDefined
{
    static const bool value = ???; // true if A<T> exist, false if it does not
};

有没有办法做到这一点（理想情况下没有C ++ 11）？

谢谢

7052

2018-05-28 16:38

起源

你为什么要这样做？出于好奇心。 - HSchmale

@HSchmale，完整的问题在这里描述： stackoverflow.com/questions/44237528/... - Fabio

答案:

使用您无法申请的事实 sizeof 到不完整的类型：

template <class T, std::size_t = sizeof(T)>
std::true_type is_complete_impl(T *);

std::false_type is_complete_impl(...);

template <class T>
using is_complete = decltype(is_complete_impl(std::declval<T*>()));

在Coliru现场观看

这是一个稍微笨重，但正在运行的C ++ 03解决方案：

template <class T>
char is_complete_impl(char (*)[sizeof(T)]);

template <class>
char (&is_complete_impl(...))[2];

template <class T>
struct is_complete {
    enum { value = sizeof(is_complete_impl<T>(0)) == sizeof(char) };
};

在Coliru现场观看

2018-05-28 16:49

谢谢。有没有办法在没有C ++ 11的情况下做到这一点？ - Fabio

@Fabio你去。 - Quentin

谢谢！ C ++ 03解决方案中是否需要is_complete_impl的第二个定义中的模板？ - Fabio

@Fabio只因为我选择明确传递类型而不是从参数中推导出来:) - Quentin

顺便说一句，第二个定义可以简化为： template <class> long is_complete_impl(...); - Fabio

这是一个替代实现，总是使用@Quentin使用的相同技巧

C ++ 11版

template<class First, std::size_t>
using first_t = First;

template<class T>
struct is_complete_type: std::false_type {};

template<class T>
struct is_complete_type<first_t<T, sizeof(T)>> : std::true_type {};

关于wandbox的示例

暂定的C ++ 03版本不起作用

template<typename First, std::size_t>
struct first { typedef First type; };

template<typename T>
struct is_complete_type { static const bool value = false; };

template<typename T>
struct is_complete_type< typename first<T, sizeof(T)>::type > { static const bool value = true; };

这种情况下的错误是

prog.cc:11:8：错误：模板参数在部分特化中无法推导： struct is_complete_type <typename first :: type> {static const bool value = true; }; ^ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ~~~~

prog.cc:11:8：注意：'T'

2017-10-28 17:15

问题 如何确定是否存在模板专门化

答案:

热门问题

问题如何确定是否存在模板专门化