c++ - 为什么 new 表达式可以正确生成指针类型，即使它应该返回 void*？

Question

这个问题在这里已经有了答案:





Difference between 'new operator' and 'operator new'?

(8 个回答)


1年前关闭。




我们知道void*没有关于它指向的数据的实际类型的信息。但是，来自 new and new[] 上的 cppreference我们知道这些操作符返回 void* .那么，如何给出:

auto x = new int{};

知道new运算符(operator)应该返回 void* , x推断为 int* 类型，不是 void* ?

再考虑一个例子:

struct foo {
    static void* operator new(std::size_t n) {
        std::cout << "new called!\n";
        return ::new char[n];
    }
};

让我们添加一些 电话 是 D 播放器:

template <typename T>
struct TD;

和测试代码:

int main() {
    auto x = new foo{};

    TD<decltype(x)>{};
}

代码编译失败，错误提示 decltype(x)是 foo* .如果我们注释掉 main 的最后一行，我们会知道我们的，void* -returning operator 将被调用由于 new called!正在打印。

Answer 1

很容易混淆new带有运算符的关键字 new ，但它们是两种不同的东西。当你写一个内存分配函数时，它的名字是operator new正如你所说，它确实返回 void* .但是您通常不会直接调用该运算符(operator)；相反，您使用 new 创建一个新对象。关键词。 编译器理解那个关键字；它叫 operator new为正在创建的对象(或对象，用于数组 new )获取内存并进行任何适当的初始化。该表达式的结果类型是指向正在创建的类型的指针。

所以，在代码中

auto x = new int{};

表达式的类型 new int{}是 int* ，所以 x 的推导类型也是int* .