类模板出现在类成员访问表达式中

Question

引自 3.4.5/1（文档版本 N3797）：

在类成员访问表达式 (5.2.5) 中，如果 .或 -> 令牌是 紧跟一个标识符，后跟一个 应命名一个类模板。

#include <iostream>
#include <stdio.h>

struct A { };

template <typename T> class B{ };


int main(){ A *a = new A(); a->B<int>; }

在整个后缀表达式的上下文中查找B<int> 是成功的。但是clang++返回错误：

test.cpp:14:32: error: no member named 'B' in 'A'

请解释一下那个诊断信息。

以下内容对我来说不是很清楚：如果找不到标识符，clang++ 会返回错误。但是标准说If the identifier is not found, it is then looked up in the context of the entire postfix-expression and shall name a class template。

在对象表达式类范围内找不到标识符后查找有什么意义？

Answer 1

您的构造被 §5.2.5[expr.ref]/p2 禁止，解决类成员访问表达式：

在任何一种情况下，id-expression 都应命名该类或其基类之一的成员。

---

如果未找到标识符，则在整个后缀表达式的上下文中查找它并命名一个类模板。

我相信这个查找规则是用于查找作为模板的基类。 “在对象表达式的类中”查找会找到类成员，但不会找到基类本身。 这似乎不正确，因为基类名称也被注入派生类（参见示例在 §11.1 [class.access.spec]/p5) 中。

---

编辑：嗯，这是一个相当人为的例子，它似乎依赖于这条规则：

#include<iostream>
using namespace std;

template <class T>
class A {
public:
  void foo() { cout << "A::foo()" << endl; }
};

template <class E>
using base = A<E>;

int main() {
  A<int>* bp = new A<int>();
  bp->base<int>::foo(); 
}

在A 中查找base 不会找到它，因此您还需要在表达式的上下文中查找，以确定< 是否小于或启动模板参数列表。然而，这个子句有相当长的历史（早于模板别名），所以我必须有另一个用例......

Answer 2

一个简单的例子，如果没有找到标识符，然后在整个后缀表达式的上下文中查找它并命名一个类模板的含义就很清楚了。

#include <iostream>

template <typename T> struct B
{
   T data;
};

struct A : B<int>
{
   float data;
};

int main()
{
   A *a = new A();
   a->data = 25.3;
   a->B<int>::data = 10; // Accessing the data from the base class, B<int>
                         // The name B is looked up from the context of the
                         // expression. B<int> is a base class. So, the
                         // expression is a way to get to the members of
                         // B<int>

   a->B<float>::data = 10.1; // Not OK since B<float> is not a base class of A

   std::cout << a->data << std::endl;
   std::cout << a->B<int>::data << std::endl;
}

Answer 3

我认为这条规则的意义是查找表示类成员的名称的别名。下面是一个简单的例子：

#include<iostream>

struct A
{
    int a;
    A(){ a = 5; }
};

typedef A B;

int main()
{
    A *a = new A();
    std::cout << a->B::a; //Usual unqualified name lookup applied
}