加入收藏 | 设为首页 | 会员中心 | 我要投稿 李大同 (https://www.lidatong.com.cn/)- 科技、建站、经验、云计算、5G、大数据,站长网!
当前位置: 首页 > 百科 > 正文

c – 当类被实例化时,类模板的成员是否被实例化?

发布时间:2020-12-16 05:27:02 所属栏目:百科 来源:网络整理
导读:假设模板类的成员不应该被实例化,除非它们被使用. 但是,这个示例似乎实例化了do_something成员,并且enable_if失败了(如果我们实例化了 – 但是AFAIK,我们没有这样做). 我错过了一些非常基本的东西吗? #include string#include boost/utility.hppstruct some
假设模板类的成员不应该被实例化,除非它们被使用.
但是,这个示例似乎实例化了do_something成员,并且enable_if失败了(如果我们实例化了 – 但是AFAIK,我们没有这样做).

我错过了一些非常基本的东西吗?

#include <string>
#include <boost/utility.hpp>

struct some_policy {
    typedef boost::integral_constant<bool,false> condition;
};

struct other_policy {
    typedef boost::integral_constant<bool,true> condition;
};


template <typename policy>
class test {
   void do_something(typename boost::enable_if<typename policy::condition>::type* = 0) {}
};

int main() {
    test<other_policy> p1;
    test<some_policy>  p2;
}

coliru

解决方法

从C 11 14.7.1 / 1:

The implicit instantiation of a class template specialization causes the implicit
instantiation of the declarations,but not of the definitions or default arguments,of the class member functions

所以函数声明被实例化了;它失败,因为它取决于无效类型.

(不幸的是,我没有任何历史版本的标准,但我想象这个规则在C98中是相似的)

(编辑:李大同)

【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容!

    推荐文章
      热点阅读