C++11引入了decltype关键字,用于推导表达式的类型。它的规则可以概括为以下几点:
如果表达式是一个标识符(变量名或函数名),则推导出它的类型。例如:int x = 5; decltype(x)
的类型是int。
如果表达式是一个函数调用,返回值的类型就是推导结果的类型。例如:int f(); decltype(f())
的类型是int。
如果表达式是一个左值,则推导出它的类型为引用类型。例如:int x = 5; decltype((x))
的类型是int&。
如果表达式是一个右值,则推导出它的类型为非引用类型。例如:int x = 5; decltype(x + 1)
的类型是int。
如果表达式是一个具有多个重载函数的函数调用,则推导失败。需要使用标准库类型std::common_type来进行推导。例如:int f(int); double f(double); decltype(std::common_type<int, double>::type())
将推导出double类型。
如果表达式是一个无法通过编译的表达式,则推导失败。例如:decltype(undeclared_variable)
将导致编译错误。
这些规则可以帮助我们在编译时推导出表达式的类型,进而进行更灵活和安全的编程。