在编译时指定静态和动态大小

Question

目前，我有一个类，形式如下：

template <std::size_t N, 
          class T,
          class Allocator = typename std::conditional<N, void, std::allocator<T>>::type>
class myclass {};

这是一个具有以下行为的特定容器：

• 如果N > 0，则容器的静态大小为N，Allocator模板参数应为void。
• 如果N == 0，则容器为动态大小，将使用Allocator参数。

但我对这种设计并不满意，因为它看起来并不优雅。我想要一个解决方案standard-like 或boost-ready。也许在设计一个 boost 库时已经遇到过这样的问题。如果是，选择了什么解决方案？

考虑到我想保留一个版本的myclass，而不是两个版本的static_myclass 和dynamic_myclass。

Answer 1

这可能是 CRTP 的一个很好的用例。有一个基类来做所有重要的事情，它会向它的派生类询问实际的对象：

template <typename Derived, typename T>
class myclass_base_impl { 
    // generic stuff
    // static_cast to Derived& to get actual data
};

那么，你有它的两个版本。动态的：

template <typename T>
class myclass_dynamic 
: public myclass_base_impl<myclass_dynamic<T>, T>
{
    /* stuff that uses std::allocator<T> */
};

还有静态的：

template <typename T, size_t N>
class myclass_static
: public myclass_base_impl<myclass_static<T, N>, T>
{
     // presumably something like
    T data_[N];
};