CRTP场景下如何访问类的static constexpr inline静态成员变量？

问题根源 #

当定义Normal : Templated<Normal>时，编译器需要先实例化基类模板Templated<Normal>才能完成子类的继承关系。但此时Normal的定义尚未完成——它的静态成员X还没有被编译器处理，所以基类中直接访问T::X时，编译器会判定X不是Normal的成员。

可行解决方案 #

方案1：用静态成员函数延迟求值 #

将静态成员变量的访问逻辑放到静态函数中，函数的实例化会延迟到子类完全定义之后：

template <typename T> struct Templated {
    static int x() {
        return T::X;
    }
};

struct Normal : Templated<Normal> {
    static constexpr const inline int X = 0;
};

后续通过Normal::x()即可正确获取X的值，因为调用函数时Normal已经完成了完整定义。

方案2：利用立即调用的lambda表达式（C++11及以上） #

通过立即调用的lambda表达式（IIFE）延迟T::X的求值时机，确保子类完成定义后再解析：

template <typename T> struct Templated {
    static constexpr int x = []{ return T::X; }();
};

struct Normal : Templated<Normal> {
    static constexpr const inline int X = 0;
};

这种方式可以保持x作为静态成员变量的特性，同时避免编译期的提前解析问题。

内容的提问来源于stack exchange，提问作者r webby