我试着回复another answer,在处理继承和继承时发现了一些困难。考虑以下最小示例:
template<typename Func>
struct Base: Func {
Base(Func func): Func{func} {}
template<typename... Args>
auto operator()(Args... args)
-> decltype(Func::operator()(args...), void()) {
Func::operator()(args...);
}
};
int main() {
auto l = [](auto &&) {};
Base<decltype(l)> mixin{l};
mixin(0);
}
GCC 6.1编译它,clang 4.0崩溃(参见https://godbolt.org/z/6Gz5s66h5)。请注意,使用以下定义,两者都可以很好地编译:
auto l = [](int) {};
这是一个有效的代码,还是我正在做一些标准不允许的事情?
我将其报告为LLVM bug 31356,但我仍然想知道我的代码是否正确。
2条答案
按热度按时间xfb7svmp1#
您打开的错误报告已在clang 14中解决。请注意,如果编译器崩溃,这 * 总是 * 一个bug,而不是你的错。
这是一个有效的代码,还是我正在做一些标准不允许的事情?
是的,它是有效的C++14代码,最近版本的clang也允许它。
[](auto &&) {};
和[](int) {}
之间的唯一区别是一个lambda有一个调用操作符,它是一个成员函数模板,而不仅仅是一个成员函数。这不应该阻止你继承lambda的闭包类型,或者你在代码中做的任何其他事情。
解决方案
ICE似乎在解析
-> decltype(Func::operator()(args...), void())
时发生。你可以这样写:pzfprimi2#
如果你需要一个解决clang问题的方法--下面的代码应该可以使用clang