今天在刷leetcode 的过程中遇到了一些奇怪的问题,在类内定义一个lambda函数的可执行对象时,遇到了一些问题:
static const auto my_hash=[f=hash<int>()](const tuple<int,int,int> & t)->int
{
auto &&[x,y,z]=t;
return f(x<<24) ^ f(y<<8) ^ f(z);
};
不可以直接在类内定义 auto my_hash=[](){}; 这种形式的变量,报错为:'auto' not allowed in non-static class member auto不允许用在非static的类成员中。因此使用auto在类内进行定义必须使用static 关键字保证auto指定的变量不被改变。
不可以在类内初始化 static auto 类型的变量 (可以在类内进行定义static 类型的成员,但是必须在类外进行初始化,否则多次创建类对象会导致static成员的值被改变) ,因为 static变量 全局唯一且仅能进行一次初始化,而类的重复实例化过程可能导致static变量的值被意料外的改变。对于该lambda表达式来说,并不能以常规思维把他作为函数来看待,auto 定义的是变量,所以该表达式是指向函数地址的函数指针,因此不能在类域使用static关键字定义和初始化变量
不可以在类内定义 static const auto 类型的变量,原因同上,但是这里需要注意的是const和constexpr的含义是不同的,之前的const 具有二义性,在C++11 后添加了constexpr 来优化const 的二义性,只有整形和枚举类型且使用常量表达式来进行修饰的变量,才被视为常量,否则为不可修改的变量。因此最正确的的方式是使用static constexpr 来定义类内static成员
不能使用auto的四个场景:
1、不能作为参数
2、不能用于类的非静态成员变量的初始化。同时类的静态成员必须是常量形式的
3、不能定义数组
4、不能作为模板参数
constexpr 是 C++11 引入的,一方面是为了引入更多的编译时计算能力,另一方面也是解决 C++98 的 const 的双重语义问题。
在 C 里面,const 很明确只有「只读」一个语义,不会混淆。C++ 在此基础上增加了「常量」语义,也由 const 关键字来承担,引出来一些奇怪的问题。C++11 把「常量」语义拆出来,交给新引入的 constexpr 关键字。
const
定义的变量只有类型为整数或枚举,且以常量表达式初始const变量时才能作为常量表达式。其他情况下它只是一个const
限定的变量,不要将与常量混淆。
即,在使用时 将const 作为readOnly来进行使用,而constexpr 用作指定常量