C ++ 17模板推论指南不用于空参数集（版本2）？

Question

在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()); 如您在https://godbolt.org/g/7m1Zhk上看到的那样，在clang 6.0中继和GCC 7中继上均未使用模板推导指南

我发现这令人惊讶，而不是人们所期望的。 模板指南指出，未经修饰的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标准的缺陷吗？

Answer 1

我相信您已经遇到了“最令人烦恼的解析”的新形式。

请记住，任何代码段的语法形式都是在名称查找之外的任何语义规则都适用之前确定的。 现在， 模板名称在语法上是有效的simple-type-specifier ，现在可以解析

foo<void> g(success());

作为带有初始化程序的对象g的定义或函数g的声明。 根据“最复杂的解析”规则，该函数解析为“ wins”，因此g声明了一个返回foo<void>的函数，该函数的一个未命名参数是没有参数的函数，返回的占位符类模板类型success 。

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

请注意，如果我们做出一些调整来避免最令人讨厌的解析，那么clang将会成功：

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

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

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

Answer 2

这是最令人烦恼的分析。

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

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

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