访问模板对象的成员函数时出现编译错误

Question

我刚刚开始使用面向对象的编程。我正在尝试访问模板功能中两个不同类的成员功能。我限制了基于布尔标志isaggregateElement的访问会员功能的访问。由于某种原因，编译器引发了错误，指出没有这种成员函数。

class descriptor{
    public:
    int getName(){
        return -5;
    }
};

class aggregate{
    public:
    int getDescription() {
        return 234;
    }
    int getUnit(){
        return 1;
    }
};

template <typename T>
void buildObjectInfo(const T& classMemberType, const bool& isDataInterface){
    
    T baseTypeElement = classMemberType;
    bool isAggregateElement = !isDataInterface;
    
    if(isAggregateElement){
        cout<<baseTypeElement.getUnit()<<endl;
    } else {
        cout<<baseTypeElement.getName()<<endl; // Error gets resolved if I remove the else construct
    }
}

int main()
{
    aggregate a;
    descriptor d;
    buildObjectInfo<aggregate>(a,false);
    return 0;
}

我该怎么做才能访问getunit（）而不删除布尔条件（或）在模板函数中删除其他构造？

Answer 1

两个分支都必须有效。假设您调用 buildObjectInfo(d,false)，那么会发生什么？

您可以使用 constexpr if 丢弃错误分支。

请注意，getter 应该是 const 方法。模板参数可以从函数参数推导出来，并且不需要 bool：

#include <iostream>
#include <type_traits>

struct descriptor{
    int getName() const { return -5; }
};

struct aggregate{
    int getDescription() const { return 234; }
    int getUnit() const { return 1; }
};

template <typename T>
void buildObjectInfo(const T& t){
    if constexpr(std::is_same_v<aggregate,T>) {
        std::cout << t.getUnit() << '\n';
    } else {
        std::cout << t.getName() << '\n';
    }
}

int main() {
    aggregate a;
    descriptor d;
    buildObjectInfo(a);
    buildObjectInfo(d);
}

但是，对于只有 2 种不同的类型，重载函数要简单得多：

#include <iostream>

struct descriptor{
    int getName() const { return -5; }
};

struct aggregate{
    int getDescription() const { return 234; }
    int getUnit() const { return 1; }
};

void buildObjectInfo(const aggregate& t) {
    std::cout << t.getUnit() << '\n';
}
void buildObjectInfo(const descriptor& t) {
    std::cout << t.getName() << '\n';
}

int main() {
    aggregate a;
    descriptor d;
    buildObjectInfo(a);
    buildObjectInfo(d);
}