为什么我可以使用从模板功能

Question

我有模板类MyClass的

template <class T> 
class MyClass 
{ 
public: 
    MyClass() { } 
private: 
    void PrivateFunction() { 
    std::cout << "Message From Private Function" << std::endl; 
    } 
}; 

现在，当我试图使用PrivateFunction（）内的另一个功能，编译器会报告错误，但是当我试图同里面的模板私有方法函数编译器不显示任何错误。

1. 编译器不报告错误。

   template <class T> 
   void f() 
   { 
       MyClass<int> a; 
       a.PrivateFunction(); 
   } 
   

2. 编译器报告错误。

   void f() 
   { 
       MyClass<int> a; 
       a.PrivateFunction(); 
   } 
   

Answer 1

为什么我可以使用从模板函数的私有方法？

你不能。 §14.6[temp.res]/p4：

如果没有为模板生成有效的特化，并且该模板未实例化，则模板不合格，不需要诊断。

---

我很感兴趣，为什么我不能调用该函数

编译器，直到函数模板实例可推迟分析之前看到的错误。不过，这是一个实现定义的行为，你的代码保持形成不良（在§14.6/ P4的延续）：

[注：如果一个模板实例，错误将被诊断根据本标准的其他规则。 确切地说，当这些错误被诊断出来是一个实施质量问题。 - 注完]

GCC demo（仅问题实例上的错误）
Clang demo（发出错误没有实例化）