3

考虑：

#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）的值是falseintcxxabi.h

正如您从输出中看到的那样，这会导致int用引号打印。

我的问题是：为什么它返回错误？这与通用 lambda 有什么关系？我可以修复它吗？

我实际上是直接在Coliru上测试的，所以你可以假设那里使用的任何 gcc 版本（目前是 6.3.0）。

4

1 回答 1

5

您的问题是，尽管类型typeid返回（int），但您在 lambda 中的实际类型是int const&并且is_arithmetic不是专门针对该确切类型的。您可以使用或 的组合获得您真正想要的类型std::decaystd::remove_conststd::remove_reference。

于 2017-02-24T22:25:58.470 回答