Question

#include <iostream>
#include <typeinfo>

int main()
{
    const char a[] = "hello world";
    const char * p = "hello world";
    auto x = "hello world";

    if (typeid(x) == typeid(a))
        std::cout << "It's an array!\n";

    else if (typeid(x) == typeid(p))
        std::cout << "It's a pointer!\n";   // this is printed

    else
        std::cout << "It's Superman!\n";
}

当字符串文字实际上是数组时，为什么x被推断为指针？

窄字符串文字的类型为“ n const char数组”[2.14.5字符串文字[lex.string]§8]

Answer 1

特征auto基于模板参数推导，模板参数推导行为相同，特别是根据§14.8.2.1/ 2（C ++ 11标准）：

如果P不是参考类型
- 如果A是数组类型，则使用数组到指针转换生成的指针类型代替A进行类型推导

如果您希望表达式x的类型为数组类型，请在&之后添加auto：

auto& x = "Hello world!";

然后，auto占位符将被推断为const char[13]。这也类似于将参考作为参数的函数模板。只是为了避免任何混淆：声明的x类型将是 reference -to-array。

Answer 2

当字符串文字实际上是数组时，为什么x推断为指针？

由于数组到指针的转换。

如果要将x推导为数组，则仅在允许以下情况时使用：

const char m[]          = "ABC";

const char n[sizeof(m)] = m; //error

在C ++中，无法使用其他数组（如上所述）初始化arrray。在这种情况下，源数组会衰减为指针类型，而您可以这样做：

const char* n = m; //ok

auto的类型推断规则与函数模板中的类型推导规则相同：

template<typename T>
void f(T n);

f(m);     //T is deduced as const char*
f("ABC"); //T is deduced as const char*

auto n = m;     //n's type is inferred as const char*
auto n = "ABC"; //n's type is inferred as const char*

§7.1.6.4/ 6说明auto说明符：

为变量d推导出的类型是使用函数调用中模板参数推导的规则确定的推导A（14.8.2.1）...

Answer 3

如果希望将x推导为数组，则可以使用

decltype(auto) x = "hello world";

自动与字符串文字

3 个答案: