Clang无法找到using声明引入的模板定义，求判定C++代码合规性

我遇到了GCC 14.2、MSVC v19.40与Clang 19对同一段C++代码处理不一致的情况：这段代码在GCC和MSVC中可正常运行，但Clang会在标记为(2)的行报出“implicit instantiation of undefined template 'lib::impl_v1::Data'”的错误。

代码的设计目标是：

• 允许通过公共命名空间lib::api访问Data模板
• 禁止通过私有命名空间lib::impl_v1直接访问Data（预期直接访问时触发歧义错误）

代码如下：

// Goal of this study:
//    - allow access to `Data` via public namespace lib::api.
//    - forbid access to `Data` via private namespace lib::impl_v1.

namespace lib::impl_v1 {
template <typename T>
struct Data;
} // namespace lib::impl_v1

namespace lib::api {
using impl_v1::Data;
} // namespace lib::api

namespace lib::impl_v1 {
inline namespace please_access_this_symbol_through_lib_api_namespace {
template <typename T> struct Data;                 // (1)
} // inline namespace please_access_this_symbol_through_lib_api_namespace
} // namespace lib::impl_v1

namespace lib::impl_v1 {
template <typename T>
struct Data
{
};
} // namespace lib::impl_v1

int main()
{
    lib::api::Data<int>       x;      // (2) clang error: implicit instantiation of undefined template 'lib::impl_v1::Data<int>'
//    lib::impl_v1::Data<int>   y;    // (3) The goal is to get error at this line: reference to 'Data' is ambiguous
    return 0;
}

我发现注释掉标记为(1)的行后，Clang在(2)行的错误会消失，但这会破坏代码原本的设计意图，因此希望保留(1)行。标记为(3)的行出现歧义错误是预期行为。

代码合规性分析与结论 #

这段代码是符合C++标准的，Clang应当接受这段代码，理由如下：

1. using声明的绑定时机：lib::api中的using impl_v1::Data;声明在生效时，lib::impl_v1中仅存在外层的Data模板前向声明，因此该using声明明确绑定到这个外层实体。
2. 内联命名空间的作用：后续在lib::impl_v1的内联命名空间中声明的Data，会被注入到外层lib::impl_v1命名空间中，导致直接访问lib::impl_v1::Data时出现歧义（这正是代码设计的预期效果），但这不会改变之前using声明绑定的实体。
3. 模板定义的匹配：最后在lib::impl_v1中定义的Data模板，是对最初外层前向声明的补全，因此lib::api::Data绑定的模板拥有合法的定义，可以被正常实例化。

Clang的错误属于编译器实现问题，它错误地将lib::api::Data关联到了内联命名空间中未定义的Data模板，而非最初绑定的外层模板实体。

内容的提问来源于stack exchange，提问作者Igor G