c – 类型扣除后功能模板中的替换顺序是否有保证？

发布时间：2020-12-16 05:29:19 所属栏目：百科来源：网络整理

导读：考虑这个功能模板： templatetypename Ttypename soft_errorT::type foo(T,typename hard_errorT::type){ } 从调用foo()中的第一个参数的类型推导出类型T后,编译器将继续替换T并实例化函数签名. 如果首先执行返回类型的替换,导致简单的替换失败,编译器将在计

考虑这个功能模板：

template<typename T>
typename soft_error<T>::type foo(T,typename hard_error<T>::type)
{ }

从调用foo()中的第一个参数的类型推导出类型T后,编译器将继续替换T并实例化函数签名.

如果首先执行返回类型的替换,导致简单的替换失败,编译器将在计算过载集并搜索其他可行重载(SFINAE)时丢弃该函数模板.

另一方面,如果首先发生第二功能参数的替换,则导致硬错误(例如由于非紧急上下文中的替换失败),整个编译将失败.

问题：对函数参数和返回类型进行替换的顺序是否有保证？

注意：This example似乎表明,在所有主要的编译器(VC11被单独测试并给出相同的结果)之后,代替返回类型的替换发生在替换参数类型之前.

解决方法

[注意：这不是原本意在作为一个自我回答的问题,而是在制定问题时我找到解决办法)

Is there any guarantee on the order in which substitution will be performed for the function parameters and return types?

不符合现行标准.

然而,this Defect Report(Xeo提供)表明,这的确是这样的.以下是C11标准第14.8.2 / 7段(已经成为n3485 draft的一部分)的拟议新措辞：

The substitution occurs in all types and expressions that are used in the function type and in template
parameter declarations. The expressions include not only constant expressions such as those that appear in
array bounds or as nontype template arguments but also general expressions (i.e.,non-constant expressions)
inside sizeof,decltype,and other contexts that allow non-constant expressions. The substitution proceeds
in lexical order and stops when a condition that causes deduction to fail is encountered. […]

正如Nicol Bolas在对问题的评论中正确指出的那样,词法是指在参数类型之后替换尾随返回类型,如this live example所示.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!