在C++17 template deduction guide not used for empty parameter set?之后进入模板演绎指南中的另一个怪异(不幸的是,_939217_仍然没有在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看到
我发现这令人惊讶,而不是人们所期待的 . 模板指南说明一个未经修饰的 success()
应构造为 success<void>
. 这应该可以正常使用foo的明确构造函数接受 success<void>
. 而是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标准中的缺陷吗?
2 回答
我相信你已经遇到了一种新形式的最令人烦恼的解析 .
请记住,任何代码片段的语法形式都是在超出名称查找的任何语义规则适用之前确定的 . 现在模板名在语法上是一个有效的简单类型说明符,它就可以解析了
作为具有初始化程序的对象
g
的定义或函数声明g
. 根据Most Vexing Parse规则,函数解析"wins",因此g
声明一个返回foo<void>
的函数,其中一个未命名的参数是一个没有参数返回占位符类模板类型success
的函数 .但是当语义检查确实启动时,这不是类模板占位符类型的有效用法之一,因此程序格式不正确 .
如果我们做一些调整以避免最令人烦恼的解析,请注意clang会成功:
但是,我认为以下双括号技巧也应该有效,但它只会导致来自clang的新错误消息 . 我不确定这个是什么:
这是最令人烦恼的解析 .
是一个名为
g
的函数的声明,它返回一个foo<void>
,并将一个[未命名]参数作为指向nullary函数返回success
的类型指针 .但是,
success
不是类型,它是模板名称,您不能将模板名称用作函数的返回类型,只能使用完整类型 . 因此,错误 .