std :: is_arithmetic对于通用lambda中的int类型返回false:未定义的行为？

Question

考虑:

#include <iostream>
#include <typeinfo>
#include <type_traits>

#include <cxxabi.h>

#include <boost/hana.hpp>
namespace hana = boost::hana;

struct Person {
  BOOST_HANA_DEFINE_STRUCT(Person,
    (std::string, name),
    (int, age)
  );
};

template<typename T>
void stringify(const T& v) {
    hana::for_each(hana::accessors<T>(), [&v](auto a) {
        // Here I'm printing the demangled type, just to make sure it is actually the type I'm thinking it is.
        std::cout << abi::__cxa_demangle(typeid(decltype(hana::second(a)(v)){}).name(), 0, 0, 0);

        // If the value is arithmetic, "quote" should be an empty string. Else, it should be an actual quote.
        // UNEXPECTED BEHAVIOR IS HERE
        std::string quote{(std::is_arithmetic<decltype(hana::second(a)(v))>::value?"":"\"")};

        // Finally do what we're here for.
        std::cout << " " << hana::first(a).c_str() << " = " << quote << hana::second(a)(v) << quote << "\n";
    });
}

int main() {
    Person john;
    john.name = "John Doe";
    john.age = 42;
    stringify(john);
}

现场观看

输出:

std::__cxx11::basic_string</*...*/> name = "John Doe"
int age = "42"

我试图用来std::is_arithmetic判断我是在处理数字而不是其他非算术类型,并相应地打印(或不打印)引号.

但由于某种原因,"返回"(通过::value成员)的值是false,即使我正在通过int(我确保我通过首先使用gcc打印demangled类型来做到这一点cxxabi.h)

从输出中可以看出,这会导致int使用引号打印.

我的问题是:为什么它返回假？这与通用lambda有什么关系吗？我可以修理吗？

我实际上是直接在Coliru上测试它,所以你可以假设那里使用的任何gcc版本(目前6.3.0).

Answer 1

你的问题是,尽管类型typeid返回(int),你在lambda中的实际类型是int const&并且is_arithmetic不是专门用于那种确切的类型.你可以得到你真正想要同类型std::decay或组合std::remove_const和std::remove_reference.