为什么一个新的表达式可以正确地生成指针类型,即使它应该返回void*?[副本]

我们知道 void* 不包含有关它指向的实际数据类型的信息。但是,从cppreference开始 new and new[] 我们知道那些接线员回来了 空的* . 那么,假设:

auto x = new int{};

知道 新的 操作员应返回 空的* , x 被推断为 int* ,不是 无效* ?

再举一个例子:

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

我们再加一些 T型 类型 丁 显示层:

template <typename T>
struct TD;

测试代码:

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

    TD<decltype(x)>{};
}

代码无法编译,错误表明 decltype(x) 是 foo* . 如果我们把最后一行注释掉 main ,我们会知道, 空的* -返回运算符将被调用,因为 new called! 正在打印。