具有隐式数组大小的模板参数

下面是一个简化的模板类，它接受数组作为模板参数。但是我还必须传递数组的大小作为参数。我想自动推导它并只写：

const char *TextArray[] = { "zero", "one", "two" };

Array<TextArray> a;

在实际实现中，类在编译时知道 TextArray 的大小，这是必需的（因为在编译时它会被检查并与类中的其他项配对）。如果我指定了错误的大小，我会正确地得到编译器错误：

Array<100, TextArray> a;

类定义：

#include <iostream>

template <std::size_t N, const char * (&A)[N]>
class Array
{
public:
    auto getCount()
    {
        return N;
    }
    auto getAt(std::size_t n)
    {
        return A[n];
    }
};


const char *TextArray[] = { "zero", "one", "two" };

int main() {
    Array<sizeof(TextArray)/sizeof(TextArray[0]), TextArray> a;

    printf("a.getCount() is %zu\n", a.getCount());
    printf("a.getAt(1) is %s\n", a.getAt(1));
}

Output:

a.getCount() 为 3

a.getAt(1) 是一

解决方案是使用宏，但我不想污染全局范围。一个简单的改进是更新类，以便我编写：

Array<sizeof(TextArray), TextArray> a;

在 gcc、Visual Studio、clang 上使用 C++17

您可以使用auto在模板参数中 https://stackoverflow.com/questions/38026884/advantages-of-auto-in-template-parameters-in-c17自 C++17 起，例如

template <auto &A>
class Array
{
public:
    auto getCount()
    {
        return std::size(A); // also C++17 feature, #include <iterator>
    }
    auto getAt(std::size_t n)
    {
        return A[n];
    }
};

顺便说一句，你最好明确地强制转换a.getCount() to unsigned来匹配%u说明符。