Microsoft Visual C 的两阶段模板查找与标准有何不同，后果是什么？

Microsoft Visual C 中被误解的两阶段模板查找

简介

两阶段模板实例化，也称为早期和晚期查找是 C 模板编程的一个重要方面。然而，微软对该功能的 Visual C (MSVC) 实现因据称不充分而面临审查。

理论中的两阶段查找

在标准 C 编译器中，两阶段查找适用于模板函数和类。在第一阶段，编译器执行语法检查，识别具有适当名称的声明。实际的名称查找和绑定会推迟到第二阶段，即模板实例化期间发生的事情。

MSVC 的有限实现

与预期相反，MSVC 的模板查找是有限的。在第一阶段，它仅执行基本语法检查。问题出现在第二阶段，它无法：

• 执行早期查找： MSVC 不完全遵守早期查找，因为它推迟了检查非依赖名称直到模板实例化。
• 扩展非ADL查找：在第二阶段，MSVC错误地扩展非 ADL 查找以包含在模板定义之后添加的声明。此行为偏离了标准，该标准仅允许扩展 ADL 提名的​​命名空间。

损坏查找的后果

两阶段的有缺陷的实现MSVC 中的查找可能会导致模板实例化期间出现错误。例如，考虑以下代码：

int foo(void*);

template<typename T> struct S {
  S() { int i = foo(0); }
};

void foo(int);

int main() {
  S<int> s;
}

在此示例中，符合标准的编译器将执行早期查找并在构造函数中将“foo(0)”绑定到“foo(void*)”。然而，MSVC 会推迟查找直到实例化，从而由于 'foo' 的不明确重载而导致编译错误。

结论

虽然 MSVC 提供了两个的基本实现-阶段模板查找，它没有达到标准的预期。不完整的早期查找和非 ADL 查找的不正确扩展可能会引入错误并限制模板在基于 MSVC 的项目中的可用性。了解这些限制对于在此环境中有效处理基于模板的代码至关重要。

以上是Microsoft Visual C 的两阶段模板查找与标准有何不同，后果是什么？的详细内容。更多信息请关注PHP中文网其他相关文章！