Làm cách nào để trì hoãn việc khởi tạo thành viên dữ liệu tĩnh trong Visual C++?

Question

Các mã sau đây làm việc với GCC và Clang, nhưng không phải với 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; 
} 

Theo phần 14.7.1 của tiêu chuẩn:

... việc khởi tạo (và bất kỳ bên liên quan -effects) của một thành viên dữ liệu tĩnh không xảy ra trừ khi các thành viên dữ liệu tĩnh là chính nó sử dụng theo cách mà đòi hỏi định nghĩa của các thành viên dữ liệu tĩnh tồn tại

Vì vậy, có vẻ như đây là một lỗi trong Visual C++; nó phải chấp nhận mã này.

Bất kể, tôi vẫn muốn có thể thực hiện việc này bằng Visual C++. Cách dễ nhất để cho phép Visual C++ hoạt động, mà không thay đổi cú pháp truy cập biến thành viên là gì? Tôi cũng yêu cầu rằng Type2<T>::it không tồn tại khi T::it không tồn tại hoặc có thể SFINAE không tồn tại trong số Type2<T>::it.

---

này thay đổi cú pháp, vì vậy tôi không muốn nó:

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

// Type2<MyType>::it<> 

Đây là rất nhiều công việc, bởi vì lớp học của tôi sẽ chứa nhiều hơn một constexpr biến đơn giản:

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

Bạn có thể kế thừa it (khi nó tồn tại) thay vì khai báo trực tiếp:

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> { 
}; 

Nói cách khác, chỉ cần lấy những gì bạn đã đề xuất và kết hợp nó bằng cách sử dụng một lớp khác.