成员函数实例化

Question

以下编译GCC 4.8.1（带--std=c++11）：

struct non_default_constructible { non_default_constructible() = delete; };

template<class T>
struct dummy {
    T new_t() { return T(); }
};

int main(int argc, char** argv) {
    dummy<non_default_constructible> d;
    return 0;
}

棘手的部分是dummy<non_default_constructible>::new_t()显然格式不正确，但这并不妨碍编译器实例化dummy<non_default_constructible>。

这是标准规定的行为吗？什么是相关的部分/关键字？

Answer 1

只有在上下文需要时才会实例化类模板的成员函数，这意味着在尝试使用new_t()之前不会看到任何错误。 C ++标准的相关部分是：

  

§14.7.1隐式实例化[temp.inst]

     

  

1. 除非已明确实例化或明确专门化了函数模板特化，否则在需要存在函数定义的上下文中引用特化时，将隐式实例化函数模板特化。除非调用函数模板显式特化或显式专用类模板的成员函数，否则在需要的上下文中调用函数时，将隐式实例化函数模板的默认参数或类模板的成员函数。默认参数的值。

  

2. [示例：

   template<class T> struct Z {
     void f();
     void g();
   };
   
   void h() {
     Z<int> a;     // instantiation of class Z<int> required
     Z<char>* p;   // instantiation of class Z<char> not required
     Z<double>* q; // instantiation of class Z<double> not required
     a.f();        // instantiation of Z<int>::f() required
     p->g();       // instantiation of class Z<char> required, and
                   // instantiation of Z<char>::g() required
   }
   

        

   此示例中的任何内容都不需要隐含class Z<double>，Z<int>::g()或Z<char>::f()   实例化。 - 结束示例]