1

我们正在将我们的 XL C/C++ 编译器从 V8.0 升级到 V10.1，发现一些代码现在给我们一个错误，即使它是在 V8.0 下编译的。这是一个最小的例子：

测试.h：

#include <iostream>
#include <string>

template <class T>
void f()
{
  std::cout << TEST << std::endl;
}

测试.cpp：

#include <string>
#include "test.h"

namespace
{
  std::string TEST = "test";
}

int main()
{
  f<int>();
  return 0;
}

在 V10.1 下，我们得到以下错误：

"test.h", line 7.16: 1540-0274 (S) The name lookup for "TEST" did not find a declaration.
"test.cpp", line 6.15: 1540-1303 (I) "std::string TEST" is not visible.
"test.h", line 5.6: 1540-0700 (I) The previous message was produced while processing "f<int>()".
"test.cpp", line 11.3: 1540-0700 (I) The previous message was produced while processing "main()".

我们发现 g++ 3.3.2 和 4.3.2 之间存在类似的差异。我还在 g++ 中发现，如果我将 移动#include "test.h"到未命名的命名空间声明之后，编译错误就会消失。

所以这是我的问题：标准对此有何评论？当一个模板被实例化时，该实例是否被认为是在模板本身被声明的地方被声明的，或者在这一点上标准不是很清楚？我看了一些 n2461.pdf 草案，但并没有真正想出任何确定的东西。

4

2 回答 2

5

这不是有效的 C++ 代码。TEST不依赖于模板参数T，所以解析时必须在模板定义的上下文中找到。但是，在这种情况下，没有声明TEST存在，因此存在错误。

该格式错误的模板的诊断消息可以延迟到编译器实例化，但如果编译器是好的，它会更早地诊断错误。即使模板被实例化，也不为该代码提供任何诊断消息的编译器不符合要求。它与未命名的命名空间无关。

此外，请注意，即使您将未命名的命名空间放在该模板之上，如果您在多个翻译单元中定义和调用该模板，它也不是有效的 C++ 程序。这是因为具有相同模板参数的同一模板的不同实例化将引用不同的事物（未命名命名空间中的字符串每次在另一个翻译单元中定义时都会产生不同的对象）。这种程序的行为将是未定义的。

于 2010-03-26T19:23:15.537 回答
0

该测试未通过Comeau 在线编译器，该编译器过去已被证明是最符合标准的编译器之一。那么，我倾向于认为代码是不正确的，尽管我无法指出标准中的一行来说明原因。但是请注意，在宽松模式下编译代码会成功。

于 2010-03-26T19:15:16.570 回答