编译器如何在具有数组的模板专业化之间进行选择？

Question

我刚刚遇到 std::tr1::extent 模板，它让我感到困惑。我一生中从未处理过数组类型参数，所以我不明白它们是如何工作的。那么，给定 gcc type_traits 的代码，

template<typename _Tp, unsigned _Uint, std::size_t _Size>
     struct extent<_Tp[_Size], _Uint>

template<typename _Tp, unsigned _Uint>
     struct extent<_Tp[], _Uint>

编译器如何在这些专业化之间进行选择？我应该将什么类型传递给 extent 才能让它选择第二个？

Answer 1

extent<int[], 0>::value == 0 // second one chosen

int[] 是一个不完整类型，编译器不知道它的 sizeof 值。最外面的维度可能保持不完整，因为数组在大多数情况下正确运行并不重要（特别是索引仍然有效）。像 int[1][] 这样的类型将不再是正确的类型。

extent<int[2], 0>::value == 2 // first one chosen

当然这可以嵌套：

extent<int[][2], 0>::value == 0 // second one chosen, with `_Tp` being `int[2]`
extent<int[][2], 1>::value == 2 // second one chosen again