如何确定是否存在模板专业化答案

【问题标题】：How to decide if a template specialization exist如何确定是否存在模板专业化
【发布时间】：2017-10-29 00:09:15
【问题描述】：

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

给定：

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）？

谢谢

【问题讨论】：

为什么需要这样做？出于好奇而询问。
@HSchmale，这里描述了完整的问题：stackoverflow.com/questions/44237528/…

标签： c++ templates template-specialization sfinae

【解决方案1】：

利用您不能将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*>()));

See it live on 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) };
};

See it live on Coliru

【讨论】：

谢谢。有没有办法在没有 C++11 的情况下做到这一点？
@Fabio 你去吧。
谢谢！ C++03解决方案需要is_complete_impl第二个定义中的模板吗？
@Fabio 只是因为我选择显式传递类型而不是从参数中推断出来:)
顺便说一下，第二个定义可以简化一点为：template <class> long is_complete_impl(...);

【解决方案2】：

这是一个替代实现，总是使用 @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 {};

Example on 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 { static const bool value = true; }; ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ~~~~

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

【讨论】：

示例中的 assert 语句使里面的代码在发布版本中消失。