c++ - 访问条件类成员的方法仅在被调用时不编译

Question

我编写了以下具有条件成员 _s 和 worksOnlyForString 方法的类，该方法以 std::string 的形式访问该成员。如果未调用 worksOnlyForString 方法，即使成员不是 std::string，代码也会编译。

有一个著名的 c++ 规则 - 模板函数只有在使用时才会完全编译。但就我而言，条件成员会触发此行为。

问题是 - 为什么代码可以编译。

#include <iostream>
#include <string>
#include <type_traits>

template<bool isString>
struct S
{
    void worksAlways()
    {
        std::cout << _s;
    }

    // compiles for isString == false. (if not used)
    // but why
    void worksOnlyForString()
    {
        std::cout<<_s.size();
    }


    std::conditional_t<isString, std::string, int> _s;
#if 0 
    //this part does not compile and it is expected and ok
    void checkUnconditionalMember()
    {
        std::cout<<_i.size();
    }
    int _i;
#endif    
};

int main()
{
    S<true> s;
    s._s = "xxx";
    s.worksOnlyForString(); // ok prints "3"

    S<false> s1; // why does this line compile ?
    s1._s = 99;
    s1.worksAlways(); // ok prints "99"

    return 0;
}

Answer 1

以下代码与名称无关，因此编译器会发现错误。

void checkUnconditionalMember()
{
    std::cout<<_i.size();
}

在

std::conditional_t<isString, std::string, int> _s;

void worksOnlyForString()
{
    std::cout << _s.size();
}

• _s取决于名称(取决于 isString )。
• 等等 std::cout << _s.size(); .

因此只有在实例化函数时才会进行全面检查。

实例化类不会实例化每个方法。