在浏览一些代码时,我遇到了以下模板:
template<typename T>
class is_abstract
{
class No { };
class Yes { No no[3]; };
template<class U>
static No test(U (*)[1]); // not defined
template<class U>
static Yes test(...); // not defined
public:
enum { result = (sizeof(test<T>(0)) == sizeof(Yes)) };
};
我理解测试< T>(0)将使用重载调用,对于非抽象(is_abstract< SomeAbstractClass> :: result = true)类而返回No,否则返回另一个,但为什么?
方法签名中的这个U(*)[1]语法是什么?
解决方法:
test< T>(0)将调用第一次或第二次测试过载.第二个过载是非常标准的(当第一个过载形成错误时它是后备).
现在,如何使抽象类的第一个声明格式错误?这是一些可能的解决方案:
template<class U>
static No test(U); // (1)
template<class U>
static No test(U*); // (2)
template<class U>
static No test(U (*)[1]); // (3)
但是(1)和(2)存在问题:
>您需要调用test< T>(T()),这对于任何抽象类T(不仅是声明,还有调用)都是错误的,因此SFINAE将无法工作(不会有后退)因为代码在“重载”解决之前会形成错误);
> U *总是有效的,即使是抽象类,所以这不行;
>这可能是更简单的解决方案,因为U(*)[1]不要求你在调用期间实例化一个T()但是声明对于抽象类型是不正确的,所以回退到测试(…)就像需要.
注意,从C 11开始,标准定义了std::is_abstract
类.
关于is_ *类的旁注:
这可能是一个旧的实现,现在有更简单的方法(从C 11开始).另请注意,使用值而不是结果会更好(遵循标准惯例).遵循标准惯例的C 11实现可以是1:
template <class T>
std::false_type is_abstract_(T (*)[1]);
template <class T>
std::true_type is_abstract_(...);
template<typename T>
struct is_abstract: decltype(is_abstract_<T>(0)) { };
1如果您需要测试类是否是抽象类,请使用标准std::is_abstract
,但如果您需要创建自己的is_ *类,则应该遵循此示例而不是您找到的类.
标签:c,templates,abstract-class 来源: https://codeday.me/bug/20190824/1703366.html
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。