VS2017中IntelliSense为何对所有类型建议该扩展方法（VS2015无此情况）

这个问题的核心在于Visual Studio 2017对IntelliSense的泛型推断逻辑做了大幅改进，和VS2015的严格检查逻辑完全不同。

先拆解下你的代码逻辑：

• 你定义了一个开放泛型接口ISettable<TValue>
• Control<TValue>类实现了这个接口
• 扩展方法Set<TControl, T>的约束是TControl : ISettable<T>，要求目标类型必须实现对应泛型参数T的ISettable接口

VS2015的行为 #

在VS2015里，IntelliSense的检查非常严格：只有当某个类型**明确实现了ISettable<某个具体T>**时，才会把Set方法列入提示列表。比如Control<int>会被识别为ISettable<int>，所以会提示Set；但像object或者自定义的MyClass这类没实现接口的类型，IntelliSense直接判定不满足约束，不会显示这个方法。

VS2017及以后的行为 #

从VS2017开始，IntelliSense引入了更宽松的泛型参数推断策略，它会尝试「预测」可能适用的扩展方法——哪怕当前类型没有显式实现约束接口，只要存在某个泛型参数T能让TControl : ISettable<T>的约束在语法上成立，就会把方法列出来。

比如对于object类型，IntelliSense会推断：「如果我把T设为任意类型（比如object本身），那理论上只要object实现了ISettable<object>，这个方法就能用」——所以它会把Set方法显示在提示里。但这只是IntelliSense的「善意提示」，实际编译的时候编译器会严格检查约束，如果你真的在未实现接口的类型上调用Set，还是会收到编译错误。

这种设计的目的是为了提升开发效率：比如你正在写一个类，打算让它实现ISettable<string>，在还没写完接口实现的时候，IntelliSense就能提前提示你可以用Set方法，不用等你写完所有代码才显示。

内容的提问来源于stack exchange，提问作者B. Vandyshev