C++17模板演绎指南不用于空参数集?

C++17 template deduction guide not used for empty parameter set?

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

考虑以下简化示例，该示例也可以在 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 标准的预期行为，还是我错过了什么？

这是一个gcc错误(刚刚提交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>。它不是一个错误。

相关文章：