Non-kiểu mẫu lập luận không phải là một biểu thức hằng

Question

Tôi có đoạn mã sau:

#include <cstdlib> 
#include <cstdio> 
#include <atomic> 

enum ATYPE { Undefined = 0, typeA, typeB, typeC }; 

template<ATYPE TYPE = Undefined> 
struct Object 
{ 
    Object() { counter++; } 
    static std::atomic<int> counter; 
}; 

template<ATYPE TYPE> 
std::atomic<int> Object<TYPE>::counter(1); 

template<ATYPE TYPE> 
void test() 
{ 
    printf("in test\n"); 
    Object<TYPE> o; 
} 

int main(int argc, char **argv) 
{ 
    test<typeA>(); 
    printf("%d\n", Object<typeA>::counter.load()); 
    Object<typeA>::counter.store(0); 
    for (int i = 0; i < sizeof(ATYPE); ++i) { 
     Object<static_cast<ATYPE>(i)>::counter.store(0); 
    } 
    return 0; 
} 

Khi tôi biên dịch với các dòng lệnh sau:

clang++ -o test -std=c++11 -stdlib=libc++ test.cpp 

tôi nhận được các lỗi sau đây:

test.cpp:32:20: error: non-type template argument is not a constant expression 
Object<static_cast<ATYPE>(i)>::counter.store(0); 
^~~~~~~~~~~~~~~~~~~~~ 
test.cpp:32:39: note: read of non-const variable 'i' is not allowed in a constant expression 
Object<static_cast<ATYPE>(i)>::counter.store(0); 
^ 
testray.cpp:31:18: note: declared here 
for (int i = 0; i < sizeof(ATYPE); ++i) { 

Tôi hiểu vấn đề tôi tin. Đối số của mẫu cần phải là một constexpr và tôi rõ ràng là không. Vì vậy, câu hỏi là, họ có thể thay đổi tôi có thể làm để có được điều này làm việc. Bằng cách làm việc này, ý tôi là, tôi có thể bằng cách nào đó có một cách tốt hơn để thiết lập lại các quầy tĩnh từ mẫu này lớp đối với từng loại trong ATYPE, khác hơn là chỉ làm nó bằng tay:

Object<Undefined>::counter.store(0); 
Object<typeA>::counter.store(0); 
... 

Mà không phải là quá thanh lịch và thiết thực khi ATYPE chứa nhiều loại.

Cảm ơn rất nhiều sự giúp đỡ và lời khuyên của bạn.

Answer 1

Đối với những loại của sự vật, đệ quy thường là một giải pháp đơn giản:

#include <type_traits> 

enum ATYPE { Undefined = 0, typeA, typeB, typeC, ATYPE_END }; 

void reset_Object_counter(std::integral_constant<ATYPE, ATYPE_END>) 
{} 

template < ATYPE n = Undefined > 
void reset_Object_counter(std::integral_constant<ATYPE, n> p = {}) 
{ 
    Object<p>::counter.store(0); 
    reset_Object_counter(std::integral_constant<ATYPE, 
               static_cast<ATYPE>(n+1)>{}); 
} 

Đối với trường hợp này, AFAIK, chức năng mẫu chuyên môn làm việc cũng như (thay vì quá tải đầu tiên):

template<> 
void reset_Object_counter<ENUM_END>(std::integral_constant<ATYPE, ENUM_END>) 
{} 

---

Dù bằng cách nào, việc sử dụng chỉ là reset_Object_counter(); để đặt tất cả các quầy của Object<...> thành 0.

---

Giải pháp integral_constant thực sự là một chút quá mức cần thiết ở đây, đối với vấn đề này một mẫu tham số không kiểu là đủ (vì chức năng mẫu chuyên môn có thể chiếm chỗ của sự quá tải kết thúc đệ quy).

template < ATYPE n = Undefined > 
void reset_Object_counter() 
{ 
    Object<n>::counter.store(0); 
    reset_Object_counter<static_cast<ATYPE>(n+1)>(); 
} 
template<> 
void reset_Object_counter<ENUM_END>() 
{}