c++ - 初始化为 const float* 而不是 const float ** 的数组数组

Question

我遇到了这段代码

float range[] = { 0, 256 };
const float* histRange = { range };

对我来说，{ range } 表示“数组的数组”，因为变量 range 是一个 float 组。因此，对我来说，这更有意义。

const float** histRange = { range };

但是编译器(来自 VS2019 的 VC++)不喜欢它(需要一个 const float*)

有人可以向我解释为什么 {range} 不是“数组的数组”(float**)，而只是一个普通的 float 指针吗？

有趣的事实:当我这样做的时候

float range[] = { 0, 256 };
auto aa = { range };
auto bb = range;
std::cout << typeid(aa).name() << std::endl;
std::cout << typeid(bb).name() << std::endl;

输出是(在VC++ VS2019中)

std::initializer_list<float * __ptr64>
float * __ptr64

Answer 1

用大括号括起来的文本不是表达式，也没有类型。大括号列表仅在某些上下文中被允许，并且在每种情况下，语言定义都指定了具有该大括号列表的更大上下文的语义。

行内:

const float* histRange = { range };

我们正在初始化一个标量，而不是一个数组。 []声明数组需要语法。它没有定义一个未命名的数组并且有 histRange指向该数组的第一个元素。

作为标量(auto 除外)初始值设定项的花括号列表的含义是该列表必须包含 0 个或 1 个元素；如果它包含 1 个元素，则行为与省略大括号相同。

或者换句话说，标量的初始值设定项可以有选择地包含大括号，例如int x = { 5 }; .这条规则从 C 开始就有了。

在此上下文中不允许包含多个元素的大括号列表(尽管 gcc 默认接受它并发出警告，并忽略除第一个元素之外的任何列表元素)。

所以，const float* histRange = range;是允许的，因为 range是一个数组，并且存在从数组到指向该数组第一个元素的指针的隐式转换，其类型为 float * , 还有从 float * 的隐式转换至 const float * .

---

const float** histRange = range;将是一个错误(有或没有可选的大括号)，因为没有从 float * 的转换至 const float ** .

---

也可以是 const float *histArr[1] = { range };这是指向 const float 和 length 1 的指针数组;在这里你可以有一个大括号列表和更长的长度。

---

在auto aa = { range }; , 使用auto有自己的类型推导规则，规则是这种语法(声明符中没有*或[])推导aa具有类型 std::initializer_list<T>一个元素。

请注意，说 { range } 仍然是不正确的有一个类型。 std::initializer_list<T>由花括号列表的元素初始化。

这个规则有点争议；在 C++11 中 auto aa{range};是一样的，但在 C++17 中它被更改为推导 aa与 range 具有相同的类型.