C++17 模板推导指南不用于空参数集（ver 2）？

Question

不幸的是，

运行在 (that bug 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 trunk 和 GCC 7 trunk 上使用模板推导指南，正如您在 https://godbolt.org/g/7m1Zhk[=19 看到的那样=]

我发现这令人惊讶，而不是人们所期望的。模板指南说，一个朴素的 success() 应该构造为 success<void>。对于接受 success<void> 的 foo 明确的构造函数，这应该可以正常工作。相反 clang 6.0 trunk 报告：

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 标准的缺陷吗？

Answer 1

这是最令人头疼的解析。

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

是一个名为 g 的函数的声明，return 是一个 foo<void>，并作为一个 [未命名] 类型指针参数指向 nullary 函数 returning success。

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

Answer 2

我相信你已经运行进入了最令人烦恼的解析的新形式。

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

foo<void> g(success());

作为带有初始值设定项的对象 g 的定义或函数 g 的声明。根据 Most Vexing Parse 规则，函数 parse "wins"，因此 g 声明了一个返回 foo<void> 的函数，它的一个未命名参数是一个没有返回占位符 class 模板的参数的函数输入 success.

但是当语义检查开始时，这不是 class 模板占位符类型的有效用法之一，因此程序格式错误。

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

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

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

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

C++17 模板推导指南不用于空参数集（ver 2）？

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

c++

templates

template-argument-deduction

c++17