VS2017编译触发Warning C4091，如何保留类型检查并消除警告？

首先咱们先对齐下场景：你的这段代码在VS2010编译完全无警告，但迁移到VS2017后触发了C4091，提示“当未声明变量时，左侧的'MyClass::InternalClass'被忽略”。你的核心诉求是保留编译期类型检查（确保模板参数QWERTY包含InternalClass嵌套类型），同时消除这个警告。

先贴出你的原代码方便参考：

class MyClass { public: class InternalClass; };
class MyClass::InternalClass { };

template<class QWERTY>
void Func( QWERTY& arg ) {
    typename QWERTY::InternalClass; // 仅解析类型但未实际使用，VS2017触发警告
}

int main() {
    MyClass var;
    Func( var );
    return 0;
}

问题根源 #

VS2017对C++语法的冗余代码检查比VS2010更严格，你代码里的typename QWERTY::InternalClass;只是单纯让编译器解析了这个类型，但没有做任何实际的使用动作（比如声明变量、作为表达式的一部分），编译器判定这是无意义的冗余代码，所以抛出了C4091警告。但你的真实目的是在编译期确认QWERTY确实包含InternalClass这个嵌套类型，所以我们需要换一种方式实现这个检查，同时让编译器认为代码有实际作用。

可行的解决方案 #

下面几种方法都能满足你的需求，在编译期完成类型检查的同时消除警告：

方法1：用sizeof触发类型检查（最简单）

sizeof是编译期计算的操作，它会验证类型的合法性，但不会生成任何运行时代码。我们用它来引用目标类型，再用(void)避免“表达式结果未使用”的额外警告：

template<class QWERTY>
void Func( QWERTY& arg ) {
    // 编译期验证QWERTY::InternalClass存在，无运行时开销
    (void)sizeof(typename QWERTY::InternalClass);
}

方法2：结合using和static_assert（更严谨）

如果你想进一步验证嵌套类型的性质（比如确保它是类/结构体类型），可以用static_assert配合类型特性库，还能自定义错误提示：

#include <type_traits>

template<class QWERTY>
void Func( QWERTY& arg ) {
    using InternalType = typename QWERTY::InternalClass;
    // 不仅检查类型存在，还验证它是类类型，不满足时抛出明确提示
    static_assert(std::is_class_v<InternalType>, "QWERTY必须包含类类型的InternalClass嵌套类型");
}

方法3：用decltype和std::declval

这种方式适合需要模拟类型实例化的场景，同样是纯编译期操作：

#include <utility>

template<class QWERTY>
void Func( QWERTY& arg ) {
    // 验证类型存在，同时模拟获取该类型的一个值（无运行时开销）
    (void)std::declval<typename QWERTY::InternalClass>();
}

总结 #

这三种方法的核心逻辑都是：用编译期操作验证QWERTY::InternalClass的合法性，同时让编译器认为这段代码有实际意义，既保留了你想要的类型检查，又消除了C4091警告。如果只是单纯检查类型存在，方法1最简洁；如果需要额外的类型验证，方法2的提示更友好。

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