c++ - 基于非类型参数的存在的类模板重载？

Question

我有一个这样的模板化类:

template <typename T, std::size_t maxSize>
class Foo
{
    std::array<T, maxSize> arr; 
};

我想做一个重载，您可以选择只传递T并获得一个 vector 作为基础容器:

template <typename T>
class Foo
{
    std::vector<T> arr; 
};

正确的方法是什么？

Answer 1

您可以使用参数包作为大小，并专门处理1个参数或0个参数:
首先，提供一个无法编译的默认值

template <typename T>
struct always_false : std::false_type {};

template <typename T, std::size_t... Is>
class Foo {
    static_assert(always_false<T>::value, "too many sizes");
};

然后，部分专用于一个或零个参数:

template <typename T, std::size_t maxSize>
class Foo<T, maxSize> {
public:
    std::array<T, maxSize> arr;
};

template <typename T>
class Foo<T>
{
public:
    std::vector<T> arr;  
};

演示:https://godbolt.org/z/5bW9c7