Я играю с общей лямбдой в C ++ 1y, и меня часто смущает, что я не знаю, какой тип auto
Переменный / параметр. Есть ли хороший способ узнать это?
В настоящее время я использую typeid(decltype(arg)).name())
но это не очень полезно. @encode дает немного лучший результат, но все еще трудно его расшифровать
пример:
auto f = [](auto && a, auto b) {
std::cout << std::endl;
std::cout << typeid(decltype(a)).name() << std::endl << @encode(decltype(a)) << std::endl;
std::cout << typeid(decltype(b)).name() << std::endl << @encode(decltype(b)) << std::endl;
};
int i = 1;
f(i, i);
f(1, 1);
f(std::make_unique<int>(2), std::make_unique<int>(2));
auto const ptr = std::make_unique<int>();
f(ptr, nullptr);
выход
i // it does not tell me it is reference
^i // ^ means pointer, but it is actually reference, kinda pointer though
i
i
i
^i
i
i
NSt3__110unique_ptrIiNS_14default_deleteIiEEEE
^{unique_ptr<int, std::__1::default_delete<int> >={__compressed_pair<int *, std::__1::default_delete<int> >=^i}}
NSt3__110unique_ptrIiNS_14default_deleteIiEEEE
{unique_ptr<int, std::__1::default_delete<int> >={__compressed_pair<int *, std::__1::default_delete<int> >=^i}}
NSt3__110unique_ptrIiNS_14default_deleteIiEEEE
r^{unique_ptr<int, std::__1::default_delete<int> >={__compressed_pair<int *, std::__1::default_delete<int> >=^i}}
Dn
*
В основном я хочу знать, что это параметр lvalue ref / rvalue ref / передается по значению и т. Д.
и я использую Xcode 5.1.1
Используйте GCC __cxa_demangle
функция:
std::string demangled(std::string const& sym) {
std::unique_ptr<char, void(*)(void*)>
name{abi::__cxa_demangle(sym.c_str(), nullptr, nullptr, nullptr), std::free};
return {name.get()};
}
auto f = [](auto && a, auto b) {
std::cout << demangled(typeid(decltype(a)).name()) << '\n';
std::cout << demangled(typeid(decltype(b)).name()) << '\n';
};
это то, что я закончил. в сочетании с @ Конрад Рудольф ответ и комментарий @Joachim Pileborg
std::string demangled(std::string const& sym) {
std::unique_ptr<char, void(*)(void*)>
name{abi::__cxa_demangle(sym.c_str(), nullptr, nullptr, nullptr), std::free};
return {name.get()};
}
template <class T>
void print_type() {
bool is_lvalue_reference = std::is_lvalue_reference<T>::value;
bool is_rvalue_reference = std::is_rvalue_reference<T>::value;
bool is_const = std::is_const<typename std::remove_reference<T>::type>::value;
std::cout << demangled(typeid(T).name());
if (is_const) {
std::cout << " const";
}
if (is_lvalue_reference) {
std::cout << " &";
}
if (is_rvalue_reference) {
std::cout << " &&";
}
std::cout << std::endl;
};
int main(int argc, char *argv[])
{
auto f = [](auto && a, auto b) {
std::cout << std::endl;
print_type<decltype(a)>();
print_type<decltype(b)>();
};
const int i = 1;
f(i, i);
f(1, 1);
f(std::make_unique<int>(2), std::make_unique<int>(2));
auto const ptr = std::make_unique<int>();
f(ptr, nullptr);
}
и вывод
int const &
int
int &&
int
std::__1::unique_ptr<int, std::__1::default_delete<int> > &&
std::__1::unique_ptr<int, std::__1::default_delete<int> >
std::__1::unique_ptr<int, std::__1::default_delete<int> > const &
std::nullptr_t
В основном я хочу знать, что это параметр lvalue ref / rvalue ref / передается по значению и т. Д.
Ну, это легко.
template<class T>
struct is_lvalue:std::false_type {};
template<class T>
struct is_lvalue<T&>:std::true_type {};
template<class T>
struct is_literal:std::true_type {};
template<class T>
struct is_literal<T&&>:std::false_type {};
template<class T>
struct is_literal<T&>:std::false_type {};// I do not think needed
просто сделай is_lvalue<decltype(x)>::value
а также is_value<decltype(x)>::value
,
rvalue
(временная или перемещенная ссылка) не является литеральным ненулевым значением.