c – 如何确定是否存在模板专业化

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

鉴于：

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

谢谢

解决方法:

使用不能将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,templates,sfinae,template-specialization
来源： https://codeday.me/bug/20190927/1823059.html