C++ 模板数组大小推导

Question

我试图为编译器设计一种方法来推断作为非类型模板参数传递的数组的大小。

如果我明确地将数组大小作为第三个模板参数传递，我可以使模板工作，但这会导致该技术出错。

任何人都可以想出一种方法来做到这一点。下面的代码不能编译，但它给出了我想要实现的想法。

// Compile time deduction of array size.
template <typename T, const size_t SIZE>
char(&array_size(T(&array)[SIZE]))[SIZE];

#define ARRAY_SIZE(x) (sizeof(array_size(x)))

template <typename T, T BEGIN[]>
struct Test
{
  enum
  {
    SIZE = ARRAY_SIZE(BEGIN)
  };
};

int a[] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };

int main()
{
  Test<int, a> test;

  return 0;
}

[编辑] 我忘了指出该解决方案还必须与 C++03 兼容。

Answer 1

简单地

template <typename T, std::size_t N>
constexpr std::size_t array_size(const T(&)[N]) { return N; }

在 C++17 中，你可以这样做

template <auto V>
struct Test
{
    enum { SIZE = array_size(*V) };
};

和

Test<&a> test;

演示

之前，你可以做一个更详细的

template <typename T, T t>
struct Test
{
    enum { SIZE = array_size(*t) };
};

和

Test<decltype(&a), &a> test;

演示（适用于 gcc 但不适用于 clang :-/）

也适用于 clang 的版本：

template <typename T, std::size_t N>
constexpr std::integral_constant<std::size_t, N> array_size(const T(&)[N]) { return {}; }

template <typename T, T V>
struct Test
{
    enum { SIZE = decltype(array_size(*std::declval<T>()))::value };
};

演示