确定表达式是否是C ++中的右值或左值的最佳方法是什么?可能这在实践中没有用,但是因为我正在学习rvalues和lvalues,所以我认为如果输入中传递的表达式是左值而其他函数is_lvalue
返回true会很好。
例:
std::string a("Hello");
is_lvalue(std::string()); // false
is_lvalue(a); // true
stdlib已经完成了大部分工作,你只需要一个函数包装器:
template <typename T>
constexpr bool is_lvalue(T&&) {
return std::is_lvalue_reference<T>{};
}
在你传递std::string
左值的情况下,然后T
将演绎到std::string&
或const std::string&
,对于rvalues它将演绎到std::string
请注意,Yakk's answer将返回不同的类型,这允许更多的灵活性,您应该阅读该答案,并可能使用它。
我使用两个重载的模板函数解决了上述问题。第一个接受对左值的引用并返回true
。而第二个函数使用对rvalue的引用。然后我让编译器匹配正确的函数,具体取决于作为输入传递的表达式。
码:
#include <iostream>
template <typename T>
constexpr bool is_lvalue(T&) {
return true;
}
template <typename T>
constexpr bool is_lvalue(T&&) {
return false;
}
int main()
{
std::string a = std::string("Hello");
std::cout << "Is lValue ? " << '\n';
std::cout << "std::string() : " << is_lvalue(std::string()) << '\n';
std::cout << "a : " << is_lvalue(a) << '\n';
std::cout << "a+b : " << is_lvalue(a+ std::string(" world!!! ")) << '\n';
}
输出:
Is Lvalue ?
std::string() : 0
a : 1
a+b : 0
我会从boost::hana
获取一个页面,并使is_lvalue
的返回值将其参数的左值编码为constexpr
值,并作为一种类型。
这使您可以执行标记调度等操作,而无需额外的样板。
template<class T>
constexpr std::is_lvalue_reference<T&&>
is_lvalue(T&&){return {};}
此函数的主体不执行任何操作,并忽略参数的值。这使它即使在非constexpr值上也可以是constexpr。
这里可以看到这种技术的一个优点:
void tag_dispatch( std::true_type ) {
std::cout << "true_type!\n";
}
void tag_dispatch( std::false_type ) {
std::cout << "not true, not true, shame on you\n";
}
tag_dispatch( is_lvalue( 3 ) );
不仅is_lvalue
的回归值在constexpr
背景下可用(因为true_type
和false_type
有constexpr operator bool
),但我们可以根据其状态轻松选择过载。
另一个优点是它使编译器很难不内联结果。使用constexpr
值,编译器可以“轻松”忘记它是一个真正的常量;一个类型,它必须首先转换为bool
,因为它可能被遗忘。
使用std::is_lvalue_reference
和std::is_rvalue_reference
。
如果您对使用decltype感到满意,则不需要包装器。
std::string a("Hello");
std::is_lvalue_reference<decltype((std::string()))>::value; // false
std::is_lvalue_reference<decltype((a))>::value; // true
在C ++ 17中,您将能够使用以下内容:
std::string a("Hello");
std::is_lvalue_reference_v<decltype((std::string()))>; // false
std::is_lvalue_reference_v<decltype((a))>; // true
或者你可以像@Ryan Haining建议的那样写一个包装器,只要确保你的类型正确。