c++ - 升级到 C++ 20 时对运算符 new[] 的调用不明确

Question

使用 msvc 从 C++17 升级到 C++20 后，编译以下代码时出现错误:

#include <tuple>

template <typename T>
void alloc(void* dest)
{
    using ty = decltype(new T);
    reinterpret_cast<ty&>(dest) = new T;
}

int main() 
{
    int obj[5][10];
    alloc<decltype(obj)>(obj);
    return 0;
}

错误是:

<source>(7): error C2668: 'operator new[]': ambiguous call to overloaded function
predefined C++ types (compiler internal)(58): note: could be 'void *operator new[](size_t)'
predefined C++ types (compiler internal)(33): note: or       'void *operator new(size_t)'
<source>(7): note: while trying to match the argument list '(unsigned __int64)'
<source>(13): note: see reference to function template instantiation 'void alloc<int[5][10]>(void *)' being compiled

(这是一个最小的重现，当我删除元组包含时，它会编译，但是我不能只删除实际代码中的包含)。

使用 C++ 见解，我可以看到 c++ 17 正在执行我所期望的操作，模板替换为 new T 生成了 new int[5UL][10];。

我不确定为什么这在 C++ 20 中现在不明确，以及如何指定我需要的 new 版本。

Answer 1

这看起来像是一个编译器错误。

在 new T 的实例化中，分配的类型是 T 并且是一个数组类型。因此，只有 operator new[] 应该查找 new 表达式的分配函数。自第一个 C++ 标准以来就是这种情况，现在仍然如此。因此，void *operator new(size_t) 甚至不应该成为在所谓的不明确重载决策中考虑的候选者。

但是代码确实有未定义的行为，请参阅问题下的我的评论。