Microsoft Visual C 的两阶段模板实例化真的被破坏了吗？如果是，又是如何破坏的？

Microsoft Visual C 被误解的“损坏的”两阶段模板实例化

简介

Microsoft Visual C (MSVC) ）经常因其所谓的两阶段模板实例化的有缺陷的实现而受到批评。本文深入探讨了这一批评的具体细节，研究了根本问题并提供了详细的解释。

两阶段模板实例化争议

两阶段模板实例化是 C 中的一个过程，其中首先从语法上检查模板类和函数的正确性，然后在以后的使用站点上进行完整的实例化。然而，有人声称 MSVC 没有正确实现此机制。

对问题的早期理解

最初，人们认为 MSVC 只执行基本的语法检查在模板定义上，忽略模板中使用的名称是否已声明。然而，这种理解并不完整。

问题的本质

MSVC 两阶段模板实例化的实际问题包括两个互连的层：

第 1 层：不正确的第一阶段查找

MSVC 无法对非依赖表达式执行早期（第一阶段）查找，例如示例中：

int foo(void*);

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

void foo(int);</typename>

MSVC 将此查找推迟到第二阶段，它错误地将表达式绑定到“foo(int)”，从而导致错误。

图层2：第二阶段查找不正确

MSVC 中模板查找的第二阶段也存在缺陷。虽然 C 标准指定在第二阶段扩展 ADL 命名的命名空间，但 MSVC 也错误地扩展了非 ADL 查找。

这可以通过以下示例进行说明：

namespace N {
  struct S {};
}

void bar(void *) {}

template <typename t> void foo(T *t) {
  bar(t);
}

void bar(N::S *s) {}</typename>

尽管存在依赖性，但对 bar(t) 的调用被错误地解析为 void bar(N::S *s)，这表明了 MSVC 第二阶段的不正确行为

结论

Microsoft Visual C 的两阶段模板实例化实现确实有缺陷，但不是最初理解的简单方式。该问题是不正确的第一阶段和第二阶段查找之间复杂的相互作用，可能会导致某些代码结构出现错误或不正确的行为。

以上是Microsoft Visual C 的两阶段模板实例化真的被破坏了吗？如果是，又是如何破坏的？的详细内容。更多信息请关注PHP中文网其他相关文章！