boost::hana::is_valid 无法使用 gcc8(及更多)和 --std=c++14 进行编译
boost::hana::is_valid fails to compile with gcc8 (and more) and --std=c++14
我将此代码与 std=c++14
和 gcc7.3
一起使用:
#include <iostream>
#include <string>
#include <type_traits>
#include <boost/hana/assert.hpp>
#include <boost/hana/equal.hpp>
#include <boost/hana/type.hpp>
namespace hana = boost::hana;
template<class T>
bool foo(T elem)
{
constexpr auto has_overload_to_string = hana::is_valid([](auto t) -> decltype(to_string(t)) {});
constexpr bool hasOverloadTo_string = has_overload_to_string(elem);
return hasOverloadTo_string;
}
int main()
{
std::string elem;
std::cin >> elem;
foo(elem);
}
而且效果很好:demo
如果我现在使用 gcc10.1,我会得到这个错误:demo fail
prog.cc: In instantiation of 'bool foo(T) [with T = std::__cxx11::basic_string<char>]':
prog.cc:41:13: required from here
prog.cc:27:38: error: temporary of non-literal type 'foo<std::__cxx11::basic_string<char> >::<lambda(auto:1)>' in a constant expression
27 | [[maybe_unused]] constexpr auto has_overload_to_string =
| ^~~~~~~~~~~~~~~~~~~~~~
prog.cc:28:21: note: 'foo<std::__cxx11::basic_string<char> >::<lambda(auto:1)>' is not literal because:
28 | hana::is_valid([](auto t) -> decltype(to_string(t)) {});
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
cc1plus: note: 'foo<std::__cxx11::basic_string<char> >::<lambda(auto:1)>' is a closure type, which is only literal in C++17 and later
我的问题是:gcc7.3 是否对 C++14 过于宽容,而 is_valid
在不应该的情况下工作,或者 gcc8 和更多添加错误C++14 ?
该错误与 hana::is_valid
无关,但 lambda 在 C++14 中的常量表达式中无效。
这里已经有一个很好的语言律师回答:
Clang 也始终提供错误,因此很明显,以前版本的 gcc 不允许这样做是不正确的。
要解决此问题,只需删除变量声明中的 constexpr
限定符即可。
我将此代码与 std=c++14
和 gcc7.3
一起使用:
#include <iostream>
#include <string>
#include <type_traits>
#include <boost/hana/assert.hpp>
#include <boost/hana/equal.hpp>
#include <boost/hana/type.hpp>
namespace hana = boost::hana;
template<class T>
bool foo(T elem)
{
constexpr auto has_overload_to_string = hana::is_valid([](auto t) -> decltype(to_string(t)) {});
constexpr bool hasOverloadTo_string = has_overload_to_string(elem);
return hasOverloadTo_string;
}
int main()
{
std::string elem;
std::cin >> elem;
foo(elem);
}
而且效果很好:demo
如果我现在使用 gcc10.1,我会得到这个错误:demo fail
prog.cc: In instantiation of 'bool foo(T) [with T = std::__cxx11::basic_string<char>]':
prog.cc:41:13: required from here
prog.cc:27:38: error: temporary of non-literal type 'foo<std::__cxx11::basic_string<char> >::<lambda(auto:1)>' in a constant expression
27 | [[maybe_unused]] constexpr auto has_overload_to_string =
| ^~~~~~~~~~~~~~~~~~~~~~
prog.cc:28:21: note: 'foo<std::__cxx11::basic_string<char> >::<lambda(auto:1)>' is not literal because:
28 | hana::is_valid([](auto t) -> decltype(to_string(t)) {});
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
cc1plus: note: 'foo<std::__cxx11::basic_string<char> >::<lambda(auto:1)>' is a closure type, which is only literal in C++17 and later
我的问题是:gcc7.3 是否对 C++14 过于宽容,而 is_valid
在不应该的情况下工作,或者 gcc8 和更多添加错误C++14 ?
该错误与 hana::is_valid
无关,但 lambda 在 C++14 中的常量表达式中无效。
这里已经有一个很好的语言律师回答:
Clang 也始终提供错误,因此很明显,以前版本的 gcc 不允许这样做是不正确的。
要解决此问题,只需删除变量声明中的 constexpr
限定符即可。