c++ - 红色波浪形不存在的依赖名称(例如 C<T>::nonMember )作为错误

Question

如何使 Resharper 语法高亮显示不存在的相关名称(例如成员字段)作为错误？

在下面的代码中，我期望 a.nonMember到有红色波浪线。

template<class T>class Test1{
    public: int member;
};
template<class T>void f(){
    Test1<T> a;
    a.member=5;
    a.nonMember=8;    //<-- expect red squiggle here
}

然而，并没有这样的红色波浪线。

相信一定有这样的功能，
因为Resharper已经可以识别Test1<>的所有字段正确(如下图所示)。

Answer 1

Resharper 没有错。它无法知道这样的成员不存在，因为该成员是从属的，因此可能存在。

template<>
class Test1<int> {
    public: int nonMember;
};

当我们可以调用f<int>()时，现在应该强调什么？ ？特化的可能性意味着对相关名称进行此类诊断是棘手的。