gpt4 book ai didi

c++ - 可变参数推导指南不是由 g++ 采用,由 clang++ 采用 - 谁是正确的?

转载 作者:太空宇宙 更新时间:2023-11-04 12:44:13 28 4
gpt4 key购买 nike

考虑以下代码:

template <typename... Types>
struct list
{
template <typename... Args>
list(Args...)
{
static_assert(sizeof...(Types) > 0);
}
};

template <typename... Args>
list(Args...) -> list<Args...>;

int main()
{
list l{0, 0.1, 'a'};
}

我希望 decltype(l)成为list<int, double, char> .不幸的是,g++ 7.2g++ trunk 未能通过静态断言。 clang++ 5.0.0clang++ trunk 按预期编译和工作。

godbolt.org conformance view

这是 g++ 错误吗?或者有什么理由不应该在此处遵循演绎指南


在构造函数上添加 SFINAE 约束似乎提供了所需的行为:

template <typename... Args, 
typename = std::enable_if_t<sizeof...(Args) == sizeof...(Types)>>
list(Args...)
{
static_assert(sizeof...(Types) > 0);
}

godbolt.org conformance view

最佳答案

这是 gcc bug 80871 .问题是,我们最终得到了这组演绎候选人:

template <class... Types, class... Args>
list<Types...> __f(Args... ); // constructor

template <class... Args>
list<Args...> __f(Args... ); // deduction-guide

两者都是有效的(Types... 在第一种情况下可以推断为空),但这里的调用应该是模棱两可的——两者都不比另一个更专业。 Types...不参与此处的排序(类似于 [temp.deduct.partial]/12 中的示例)。所以正确的行为是继续下一个决胜局,favors deduction-guides .因此,这应该是 list<int, double, char> .

但是,gcc 的行为偏向于构造函数,因此 static_assert触发器因为 Types...在那种情况下确实是空的。

关于c++ - 可变参数推导指南不是由 g++ 采用,由 clang++ 采用 - 谁是正确的?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/52520408/

28 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com