c ++ 11中指针的“自动”类型分配是否需要“*”？

Question

鉴于我的变量是一个指针，如果我将它分配给一个“自动”类型的变量，我是否指定了“*”？

std::vector<MyClass> *getVector(); //returns populated vector
//...

std::vector<MyClass> *myvector = getVector();  //assume has n items in it
auto newvar1 = myvector;

// vs:
auto *newvar2 = myvector;

//goal is to behave like this assignment:
std::vector<MyClass> *newvar3 = getVector();

我对这个auto在 c++11 中的工作方式有点困惑（这是 c++11 的一个新特性，对吧？）

更新：我修改了上面的内容以更好地阐明我的向量是如何真正填充到函数中的，我只是试图将返回的指针分配给一个变量。 对困惑感到抱歉

Answer 1

auto newvar1 = myvector;

// vs:
auto *newvar2 = myvector;

这两个是相同的，并且会声明一个指向std::vector<MyClass>的指针 （指向随机位置，因为myvector在您的示例中未初始化并且可能包含垃圾） . 所以基本上你可以使用其中的任何一种。 我更喜欢auto var = getVector() ，但如果你认为它更好地强调意图（ var是一个指针），你可以选择auto* var = getVector() 。

_{我必须说我从来没有想过使用auto遇到类似的不确定性。 我认为人们只会使用auto而不会考虑它，这在 99% 的情况下是正确的 - 需要用引用和 cv 限定符来装饰auto 。}

但是，有两个修改时稍微之间细微的差别：

auto newvar1 = myvector, newvar2 = something;

在这种情况下， newvar2将是一个指针（并且某些东西也必须是）。

auto *newvar1 = myvector, newvar2 = something;

在这里， newvar2是指针类型，例如。 std::vector<MyClass> ，并且初始值设定项必须足够。

一般来说，如果初始化器不是花括号初始化器列表，编译器会像这样处理auto ：

1. 它生成一个人工函数模板声明，其中一个参数与声明符的形式完全相同， auto替换为模板参数。 所以对于auto* x = ... ，它使用

   template <class T> void foo(T*);

2. 它尝试解析调用foo(initializer) ，并查看为T推导出的内容。 这被替换回auto 。

3. 如果单个声明中有更多声明符，则对所有声明符都这样做。 所有这些推导出的T必须相同......

Answer 2

就常量而言， auto和auto*之间可能存在细微的差异。

int i;
const auto* p = &i;

相当于

int i;
const int* p = &i;

然而

int i;
const auto p = &i;

相当于

int i;
int* const p = &i;

这具有以下效果：

void test(int a) {
    const auto* p1 = &a;

    *p1 = 7;               // Error
    p1 = nullptr;          // OK

    const auto p2 = &a;

    *p2 = 7;               // OK
    p2 = nullptr;          // Error
}

Answer 3

auto newvar1 = *myvector;

这可能就是您想要的，它创建了实际向量的副本。 如果你想有一个参考而不是写auto& newvar1 = *myvector; 或者创建另一个指向同一向量的指针，使用auto newvar1 = myvector; . 与您其他尝试的区别auto *newvar1 = myvector; 是后者曾经强制 myvector 为指针类型，因此以下代码失败：

std::vector<int> v1;
auto* v2 = v1; // error: unable to deduce ‘auto*’ from ‘v1’