假设模板类的成员不应该被实例化,除非它们被使用.
但是,这个示例似乎实例化了do_something成员,并且enable_if失败了(如果我们实例化了 – 但是AFAIK,我们没有这样做).
但是,这个示例似乎实例化了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;
}
解决方法
从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中是相似的)
