使用Intel C++ 2022编译std::inplace_merge时为何出现align_val_t歧义错误？

使用适配Visual Studio 2022的Intel C++ Compiler 2022工具集编译以下代码时，触发align_val_t歧义错误：

#include <algorithm>

int main()
{
    int x = 0;
    std::inplace_merge(&x, &x, &x);
}

编译错误输出：

VC\Tools\MSVC\14.34.31933\include\xmemory(1429,48): error : reference to 'align_val_t' is ambiguous
                _Pbuf = ::operator new (_Size, align_val_t{alignof(_Ty)}, nothrow);
                                               ^
VC\Tools\MSVC\14.34.31933\include\algorithm(7152,57): note: in instantiation of function template specialization 'std::_Optimistic_temporary_buffer<int>::_Optimistic_temporary_buffer<long long>' requested here
    _Optimistic_temporary_buffer<_Iter_value_t<_BidIt>> _Temp_buf{(_STD min)(_Count1, _Count2)};
                                                        ^
VC\Tools\MSVC\14.34.31933\include\algorithm(7160,10): note: in instantiation of function template specialization 'std::inplace_merge<int *, std::less<>>' requested here
    _STD inplace_merge(_First, _Mid, _Last, less<>{});
         ^
Temp.cpp(6,7): note: in instantiation of function template specialization 'std::inplace_merge<int *>' requested here
        std::inplace_merge(&x, &x, &x);
             ^
VC\14.34.31933\include\vcruntime_new.h(27,16): note: candidate found by name lookup is 'std::align_val_t'
    enum class align_val_t : size_t {};
               ^
note: candidate found by name lookup is 'std::align_val_t'

这是Intel C++ Compiler（ICC）与MSVC STL头文件的兼容性bug，触发逻辑如下：

• 当传入三个相同指针（空合并范围）调用std::inplace_merge时，STL内部实例化_Optimistic_temporary_buffer模板的过程中，模板参数推导出现异常。
• ICC的名字查找逻辑与MSVC存在差异：在解析::operator new的参数align_val_t{alignof(_Ty)}时，同时从全局命名空间和std命名空间识别到align_val_t（实际是同一类型，但ICC判定为两个独立候选），从而抛出歧义错误。

可以通过以下方式解决：

• 规避空范围调用：在调用std::inplace_merge前先判断范围有效性，仅当范围非空时执行操作：

  #include <algorithm>
  
  int main()
  {
      int x = 0;
      int* first = &x, *mid = &x, *last = &x;
      if (first != mid || mid != last) {
          std::inplace_merge(first, mid, last);
      }
  }
  

• 显式指定模板参数：调用时显式声明迭代器类型和比较器，避免自动推导引发的问题：

  std::inplace_merge<int*, std::less<int>>(&x, &x, &x);
  

• 升级工具集：更新Intel C++ Compiler到最新版本，或升级MSVC的STL组件，新版本通常会修复这类跨编译器兼容性问题。

内容的提问来源于stack exchange，提问作者user541686