模板參數中的靜態斷言

Question

我想問一下，是否可以將靜態斷言插入到模板參數中。

讓我們說我想創建類StaticArray<T,N>，我想讓用戶無法實例化大小等於0的這個類。有什麼方法可以將類似static_assert(N != 0, "error message")的東西插入到我的類中嗎？

Answer 1

template <typename T, std::size_t N> 
class StaticArray 
{ 
    static_assert(N != 0, "error message"); 
}; 

LIVE DEMO