访问不完整类型静态成员时模板特化行为异常的技术问询

我实现了一段代码，尝试访问后续会补全的不完整类型的静态成员，但在特定场景下竟能成功访问：

#include <iostream>
using namespace std;

template <typename T>
struct check_valid_type {
        typedef void type;
};

struct foo;

template <typename T, typename I=void>
struct bar {
    static std::string get_x() {
        std::cout << "Invoking 1" << std::endl;
        return "--";
    }
};

template <typename T>
struct bar<T, typename check_valid_type<decltype(T::x)>::type> {
    static std::string get_x() {
        std::cout << "Invoking 2" << std::endl;
        return T::x;
    }
};

template <typename T>
struct bar<T*, void> {
    static std::string get_x() {
        return bar<T>::get_x();
    }
};

int main() {
    // your code goes here
    bar<foo> y;
    bar<foo*> z;
    std::cout << z.get_x() << std::endl;
    return 0;
}

struct foo {
    static constexpr const char* x = "hello";
};

编译运行原代码时，输出符合预期的Invoking 1和--；但注释掉main函数中bar<foo> y的声明后，却意外输出Invoking 2和hello。请问这是否触发了未定义行为？两种场景下类型在实例化时均为不完整状态，都应返回Invoking 1，这是编译器特性还是可移植的行为？

核心原因分析 #

这不是未定义行为，而是C++模板实例化时机的规则导致的差异：

1. 模板实例化的延迟特性
   模板的实例化不会在声明点立即进行，而是会延迟到需要使用模板的具体定义时（即ODR-used，单定义规则触发点）。

2. 两种场景的差异

   • 当存在bar<foo> y;时：
     这条声明会直接触发bar<foo>的实例化，此时foo还是前向声明的不完整类型，decltype(T::x)无法解析（不完整类型的成员无法被访问），因此主模板被选中，输出Invoking 1。后续bar<foo*>::get_x()调用的是已经实例化完成的bar<foo>版本，结果保持一致。
   • 当注释掉bar<foo> y;时：
     bar<foo>的实例化被延迟到bar<foo*>::get_x()调用它的时候，而此时foo的完整定义已经在main函数之后出现。此时decltype(T::x)可以正常解析，因此特化版本bar<T, typename check_valid_type<decltype(T::x)>::type>被选中，输出Invoking 2和hello。

是否可移植？ #

这是符合C++标准的可移植行为，标准明确规定模板的实例化延迟到ODR使用点，而判断类型是否完整的依据是实例化发生时的状态，而非模板声明或类型前向声明时的状态。

总结 #

两种场景的本质区别在于bar<foo>的实例化时机：前者在foo不完整时完成实例化，后者在foo完整后才触发实例化，因此匹配了不同的模板特化分支，这完全符合C++标准规则，既不是编译器专属特性，也不属于未定义行为。

内容的提问来源于stack exchange，提问作者Ajay Brahmakshatriya