不存在的标识符,用作非实例化函数模板中的默认参数

Question

今天我找到了一段相当于以下内容的代码:

enum X
{
    x1 = 0,
    x2 = 1
};

template<typename T>
void bar(T obj, X x = x3) { }
//                    ^^
//                    This identifier is bogus!

int main() { }

VC10和VC12都很乐意编译它.clang 3.4和GCC 4.8.1都拒绝它(这是我所期望的).

这是一个错误,还是标准实际允许VC的行为？如果是,哪些是相关段落？

Answer 1

众所周知,VC没有两阶段查找.这意味着它接受模板中的各种bogosity,只要它至少看起来像语法上有效的C++并且它实际上没有实例化.

这只是这些实例中的一个.

正如您在其一致性路线图中所看到的那样,计划在RTM后CTP之后的某个时间进行两阶段查找,我想这意味着在您支付Visual Studio套件的下一次迭代后,您将可以访问它.

至于标准参考,14.6/9-10说:

在查找模板定义中使用的名称声明时,通常的查找规则(3.4.1,3.4.2)用于非依赖名称.[...]

如果名称不依赖于模板参数(如14.6.2中所定义),则该名称的声明(或声明集)应在名称出现在模板定义中的范围内.