C++17的模板类型推导指南不能用于空参数集？

Question

考虑以下简化示例，也可以在https://godbolt.org/g/Et56cm查看：

#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>;

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!
    auto f = success("hello");  // works
    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;
}

令我惊讶的是，success()不能编译通过，但success{}可以。我已经提供了模板推导指南success() -> success<void>，所以我认为success()也应该能够工作。

这是C++17标准中的预期行为吗？还是我漏看了什么？

- Niall Douglas

---

明显的编译器错误很明显。 - T.C.

Barry，模板化的推断指南被一般的template-declaration语法所覆盖。 - T.C.

Answer 1

这是一个gcc的bug（刚刚提交了81486）。在推导success()时，我们合成了一个重载集，其中包括：

// from the constructors
template <class T> success<T> foo(T&& ); // looks like a forwarding reference
                                         // but is really just an rvalue reference
template <class T> success<T> foo(T const& );

// from the deduction guides
template <class T> success<T> foo(T ); // this one is a bit redundant
success<void> foo();

并且将返回类型确定为像调用foo()一样，这肯定应该给您一个success<void>类型。它没有这样做是一个错误。

- Barry