MSVC开启Two-Phase Lookup编译Poco Any.h报C1001错误求解

问题触发场景 #

• 依赖库版本：Poco 1.12.0正式发布版
• 编译环境：Visual Studio 2019（v142平台工具集）、Visual Studio 2022（v143平台工具集）
• 触发条件：开启默认/permissive-合规编译选项时，连带启用/Zc:twoPhase（两阶段名称查找），只要代码包含Poco/Any.h头文件就会触发编译器内部错误，添加/Zc:twoPhase-关闭两阶段查找可临时绕过问题。

最简复现代码 #

#include <iostream>
#include <Poco/Any.h>

int main() {
  Poco::Any any_type;
  std::cout << "Test\n";
}

核心报错信息 #

C:\xxx\Poco\Foundation\include\Poco\Any.h(124,1): fatal error C1001: Internal compiler error.
(compiler file 'msc1.cpp', line 1693)
see reference to class template instantiation 'Poco::Placeholder<PlaceholderT,SizeV>' being compiled
INTERNAL COMPILER ERROR in 'CL.exe'

报错根因 #

报错点位于Any.h中Placeholder类模板的assign成员模板函数，原代码的SFINAE约束中引用依赖基类的嵌套类型Placeholder::Size时，没有按照C++标准要求添加typename前缀声明这是类型名。MSVC在两阶段查找模式下解析这段不符合标准的写法时没有抛出正常语法错误，直接触发了内部编译器崩溃。

源码修复方案 #

找到Foundation/include/Poco/Any.h中报错的assign函数，有两种修改方式均可解决问题：

方案1：最小改动（仅加1个关键字） #

不改变原有代码结构，仅在依赖类型名Placeholder::Size前添加typename关键字，明确告知编译器该名称对应类型，符合两阶段查找语法要求：

template<typename T, typename V,
        typename std::enable_if<TypeSizeGT<T, typename Placeholder::Size::value>::value>::type* = nullptr>
    PlaceholderT* assign(const V& value)
    {
        erase();
        pHolder = new T(value);
        setLocal(false);
        return pHolder;
    }

方案2：规范写法（推荐） #

将SFINAE约束从模板匿名非类型参数移动到函数返回值位置，写法更符合现代C++规范，进一步规避MSVC模板参数解析bug：

template<typename T, typename V>
typename std::enable_if<TypeSizeGT<T, typename Placeholder::Size::value>::value, PlaceholderT*>::type
assign(const V& value)
{
    erase();
    pHolder = new T(value);
    setLocal(false);
    return pHolder;
}

注意：Any.h中与该函数对称的另一个assign重载（判断类型大小小于等于SBO存储大小的版本）使用了完全相同的SFINAE写法，需要做完全一致的修改，否则会在其他调用场景触发相同的内部编译错误。

验证结果 #

修改完成后无需添加/Zc:twoPhase-关闭两阶段查找，保持默认/permissive-合规编译选项即可正常编译所有使用Poco::Any的代码，逻辑与原实现完全一致，无功能变化和副作用。

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