如何确定模板专用化是否存在

How to decide if a template specialization exist

本文关键字：是否 存在 专用 何确定      更新时间：2023-10-16

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

鉴于：

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*>()));

在科里鲁现场观看

这是一个有点笨拙但有效的 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) };
};

在科里鲁现场观看

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

魔杖盒示例

暂定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">

相关文章：