Hạn chế kích thước của một mảng khi được chuyển đến một hàm

Question

Có cách nào để hạn chế kích thước của mảng khi được chuyển làm đối số cho hàm không?

Ý tôi là một cái gì đó như thế này có thể?

/*following will lead to compile time error */ 

template<typename T, size_t n>=20> // or template<typename T,size_t n<=20> 
void func(T (&a)[n]) 
{ 
    // do something with a 

} 

Tôi muốn kích thước của mảng tối thiểu là (hoặc nhiều nhất) n (n có thể có bất kỳ giá trị nào).

Ví dụ:

Khi n=20 tôi phải vượt qua một mảng với ít nhất (hoặc ít nhất) 20 yếu tố. Có cách nào trong C + + cho điều này?

Answer 1

Bạn chỉ có thể yêu cầu xác nhận tĩnh - ví dụ: với Tăng tĩnh khẳng định:

template<typename T, size_t n> 
void func(T (&a)[n]) { 
    BOOST_STATIC_ASSERT(n >= 20); 
    // ... 
} 

Một thực hiện tùy chỉnh cơ bản (không giải quyết vấn đề của việc sử dụng nó sau đó thêm một lần mỗi phạm vi) có thể trông giống như sau:

template<bool b> struct StaticAssert; 
template<> struct StaticAssert<true> {}; 
#define STATIC_ASSERT(x) StaticAssert<(x)> static_asserter 

Nếu bạn muốn hành vi khác nhau nếu yêu cầu được đáp ứng, hãy sử dụng một cái gì đó như enable_if hoặc chuyên môn dựa trên thẻ. Ví dụ sử dụng enable_if:

template<class T, size_t n> 
typename boost::enable_if<(n >= 20), void>::type 
func(T (&a)[n]) { /* ... */ } 

template<class T, size_t n> 
typename boost::disable_if<(n >= 20), void>::type 
func(T (&a)[n]) { /* ... */ } 

Answer 2

Bạn đang cố gắng sử dụng các mẫu (thời gian biên dịch) để biết có bao nhiêu mặt hàng sẽ được trong mảng của bạn khi chạy. Nó không thể làm như bạn cố gắng làm điều đó.

Bạn sẽ phải dựa vào mã bên ngoài chức năng của bạn hoặc bên trong hàm

Answer 3

Không có như vậy một cấu trúc trong C++, cho phép bạn nhận được một lỗi thời gian biên dịch. Nhưng tôi nghĩ rằng bằng cách sử dụng các mẫu bạn có thể thực hiện một khung có chứa một cái gì đó giống như một lớp LimitedArray được sử dụng thay vì một loại mảng cơ bản.

Answer 4

Câu trả lời của GF là chính xác, nếu bạn muốn nhiều tính năng hoặc quyết định hơn tại thời điểm biên dịch, bạn có thể muốn xem boost::mpl. C++ Template Metaprogramming vạch ra những gì có thể với boost :: MPL và cách nó được thiết kế. Modern C++ design, không liên quan đến MPL, đi vào các kỹ thuật thiết kế để tận dụng tính đa hình thời gian biên dịch

Answer 5

Câu trả lời của GF khá thú vị, nhưng Boost.Array không thể không đề cập đến.

template< typename T > 
void func(boost::array< T, 20 > &a) { 

Với câu hỏi của bạn và trả lời GF, nó trông giống như một chuyển đổi ngầm tính toán miễn phí, loại- và phạm vi an toàn từ T(&)[20] để some_array_template<T,20> sẽ là ngữ nghĩa có thể, nhưng boost::array không cho phép điều đó. Tuy nhiên, bạn có thể xem xét di chuyển hoàn toàn sang boost::array nếu bạn có nhiều logic tương tự. Và nó đủ đơn giản để sử dụng làm cơ sở để cuộn của riêng bạn, nếu bạn muốn chuyển đổi ngầm định.