c++ - C++ 中有错误类型吗？

Question

考虑以下类型

template <typename T1, typename T2, typename T3>
struct either_or
{
    /* Here I need such an error type that says "Sorry, T1 is not an accepting type." */
    typdef error<T1> type;
};
template <typename T1, typename T3>
struct either_or <T1, T1, T3>
{
    typedef T1 type; //T1 Ok
};
template <typename T1, typename T2>
struct either_or <T1, T2, T1>
{
    typedef T1 type; //T1 Ok
};

/* Here is function that might accept error type variable */

template <typename T>
void foo(typename either_or<T, char, unsigned char>::type x)
{
    /*print char or unsigned char except that T is not printable*/
}

在这种情况下使用的 C++ 类型系统中是否存在错误类型？如果没有，我能否实现或如何实现？

Answer 1

不，语言或标准库都没有提供这样的类型。如果您愿意，欢迎您自己编写:

template <typename T>
struct error { };

另一种选择是简单地省略基本模板中的type 定义。当 T1、T2 和 T3 的值与两个特化中的任何一个都不匹配时，您将获得基本模板，它将没有 type 成员。这将导致编译器不考虑该版本的 foo，并且当您尝试使用无效参数类型调用它时，您最终会遇到编译错误。