c++ - 如何在 Visual C++ 中延迟静态数据成员的实例化？

Question

以下代码适用于 GCC 和 Clang，但不适用于 Visual C++:

#include <type_traits>

struct MyType {
    static constexpr std::size_t it = 10;
};

struct MyType2 {
};

template<typename T>
struct Type2 {
    static constexpr std::size_t it = T::it;
};

int main() {
    Type2<MyType> t1;
    Type2<MyType2> t2; // Visual C++ complains that MyType2::it doesn't exist
    (void) t1;
    (void) t2;
}

根据标准第 14.7.1 节:

... the initialization (and any associated side-effects) of a static data member does not occur unless the static data member is itself used in a way that requires the definition of the static data member to exist

看来这是 Visual C++ 中的一个错误；它应该接受此代码。

无论如何，我仍然希望能够使用 Visual C++ 执行此操作。在不更改访问成员变量的语法的情况下允许 Visual C++ 工作的最简单方法是什么？我还需要 Type2<T>::it T::it 时不存在不存在，或者 SFINAE 可以排除 Type2<T>::it 的存在.

---

这改变了语法，所以我不想要它:

template<typename T>
struct Type2 {
    template<typename = void>
    static constexpr std::size_t it = T::it;
};

// Type2<MyType>::it<>

这是很多工作，因为我的类(class)将包含的不仅仅是一个简单的 constexpr。变量:

template<typename T, typename = void>
struct Type2 {
};

template<typename T>
struct Type2<T, decltype((void) T::it)> {
    static constexpr std::size_t it = T::it;
};

Answer 1

您可以继承它(当它存在时)而不是直接声明它:

template<typename T, typename = void>
struct ItHolder
{};

template<typename T>
struct ItHolder<T, decltype((void) T::it)> {
    static constexpr std::size_t it = T::it;
};


template<typename T>
struct Type2 : ItHolder<T> {
};

换句话说，只需采用您已经建议的内容并使用另一层间接层将其组合。