C++17 模板推导指南未用于空参数集(版本 2）?

C++17 template deduction guide not used for empty parameter set (ver 2)?

本文关键字：参数 版本 用于 C++17      更新时间：2023-10-16

在模板演绎指南未用于空参数集后C++17 模板演绎指南中遇到了另一个奇怪之处？(不幸的是，该错误 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81486 仍未在 GCC 主干中修复:()：

#include <utility>
template <class T> struct success
{
T value;
constexpr success(T &&v)
: value(std::move(v))
{
}
constexpr success(const T &v)
: value(v)
{
}
};
template <> struct success<void>
{
};
template <class T> success(T /*unused*/)->success<T>;
success()->success<void>;
template<class T> struct foo
{
foo(success<void>) {}
};
int main(void)
{
auto a = success{5};        // works
auto b = success{};         // works
auto c = success{"hello"};  // works
auto d = success(5);        // works
//auto e = success();         // FAILS on GCC 7.2!
auto f = success("hello");  // works
foo<void> g(success());     // FAILS
static_assert(std::is_same<decltype(a), success<int>>::value, "");
static_assert(std::is_same<decltype(b), success<void>>::value, "");
static_assert(std::is_same<decltype(c), success<const char *>>::value, "");
static_assert(std::is_same<decltype(d), success<int>>::value, "");
//static_assert(std::is_same<decltype(e), success<void>>::value, "");
static_assert(std::is_same<decltype(f), success<const char *>>::value, "");
return 0;
}

至少对我来说，令人惊讶的是，foo<void> g(success());未能在 clang 6.0 主干和 GCC 7 主干上使用模板扣除指南，如您在 https://godbolt.org/g/7m1Zhk 中看到的那样

我觉得这令人惊讶，而不是人们所期望的。模板指南说，一个朴素的success()应按success<void>建造。这应该适用于 foo 的明确构造函数接受success<void>。相反，clang 6.0 主干报告：

34 : <source>:34:17: error: use of class template 'success' requires template arguments; argument deduction not allowed in function return type
foo<void> g(success());     // FAILS
^~~~~~~
3 : <source>:3:27: note: template is declared here
template <class T> struct success
^

GCC 7.3 主干报告：

<source>: In function 'int main()':
34 : <source>:34:25: error: 'auto' parameter not permitted in this context
foo<void> g(success());     // FAILS
^

谁能解释一下这里发生了什么？这是 C++ 17 标准的缺陷吗？

我相信你已经遇到了一种最令人烦恼的解析的新形式。

请记住，任何代码段的语法形式都是在名称查找以外的任何语义规则应用于它之前确定的。 现在模板名称在语法上是一个有效的简单类型说明符，可以解析

foo<void> g(success());

作为对象的定义g初始值设定项或函数的声明g. 根据最烦人的解析规则，函数解析"获胜"，因此g声明一个返回foo<void>的函数，其一个未命名的参数是一个没有参数的函数，返回占位符类模板类型success。

但是，当语义检查确实启动时，这不是类模板占位符类型的有效用法之一，因此程序格式不正确。

请注意，如果我们进行一些调整以避免最烦人的解析，则 clang 将成功：

foo<void> g2{success()};
struct bar { bar(int, succeed<void>) {} };
bar g3(1, success());

但是，我认为以下双括号技巧也应该有效，但它只会导致来自 clang 的新错误消息。 我不确定这个是怎么回事：

foo<void> g4((success()));

这是最令人烦恼的解析。

foo<void> g(success());     // FAILS

是一个名为g的函数的声明，它返回一个foo<void>，并将指向返回success的空函数的指针类型为 [unnamed] 参数。

但是，success不是一个类型，它是一个模板名称，不能将模板名称用作函数的返回类型，只能使用完整类型。因此，错误。

相关文章：