代码之家 › 专栏 › 技术社区 › vava

编译器如何在以数组为特征的模板专门化之间进行选择?

tr1 templates arrays c++

vava · 技术社区 · 15 年前

我刚刚遇到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 要得到它,选择第二个?

1 回复 | 直到 15 年前

Johannes Schaub - litb 15 年前

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

推荐文章

Abhishek Ojha · 为什么我的代码接受其他数据类型以及模板中的给定数据类型?[副本]

2 年前

TCD · 标准库非类型模板类是否显式实例化?

2 年前

onehundredquestions guy · 在不实例化的情况下将模板函数作为参数传递?[副本]

2 年前

sovesti · 参数较少的模板函数中的演绎

2 年前

KiraHoneybee · 具有构造函数参数的模板化类

3 年前

Seymore Glass · 模板不工作的默认参数

3 年前

Alex Hodges · 是否有一种更惯用的方法来专门化通过模板传递的标志的行为?

3 年前

Alexander Daum · 模板参数中对模板类型的引用

7 年前

ledonter · 为什么注入的类名有时不被视为类模板中的模板名?

7 年前

RBaum · 从WooCommerce“订单保留”和“新订单”电子邮件中删除订单

7 年前