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中是相似的)

（编辑：李大同）

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