模板类的特殊继承导致成员函数返回模板类类型而不是继承的类类型

Question

假设我有一个这样的基类：

template<typename T>
class Base {
public:
    Base& operator()(const T& value) {
        this->value = value;
        return *this;
    }
    T value;
};

现在我想从这个类继承来创建特定类型的类

class InheritedFloat : public Base<float> {} inheritedFloat;

现在我尝试在一个函数中捕获这个继承：

void function(const InheritedFloat& inherited) {
    std::cout << inherited.value << '\n';
}

当然，像这样调用这个函数可以正常工作：

int main() {
    function(inheritedFloat); //(inheritedFloat is a global instance)

    return 0;
}

但是当我尝试使用operator()(const float& value){...} 成员函数调用它时，function(const InheritedFloat& inherited){...} 不会将其视为InheritedFloat-Type，而是将其视为Base<float>-Type：

int main() {
    function(inheritedFloat(10.f)); //error

    return 0;
}

错误：

Error   C2664   'void function(const InheritedFloat &)': cannot convert argument 1 from 'Base<float>' to 'const InheritedFloat &'

那么我怎样才能让operator()(const T& value){...} 返回InheritedFloat& 而不是Base<float>&？

---

为了进一步说明，这只是一个简化的例子（当然）。我有几十个继承案例。所以我不能只是模板指定function()

template<typename T>
void function(const Base<T>& inherited) {
    std::cout << inherited.value << '\n';
}

因为每个继承都需要区别对待。类型会重叠，因此会有多个 Base<std::size_t> 案例，例如。

整个代码：

#include <iostream>

template<typename T>
class Base {
public:
    Base& operator()(const T& value) {
        this->value = value;
        return *this;
    }
    T value;
};

class InheritedFloat : public Base<float> {} inheritedFloat;


void function(const InheritedFloat& inherited) {
    std::cout << inherited.value << '\n';
}

int main() {
    function(inheritedFloat(10.f));

    return 0;
}

感谢阅读，感谢任何帮助！

Answer 1

您可以在此处使用CRTP。通过提供额外的模板参数，您可以使基类函数返回对派生类的引用：

#include <iostream>

template<typename Derived, typename T>
class Base {
public:
    Derived & operator()(const T& value) {
        this->value = value;
        return *static_cast<Derived *>(this);
    }
    T value;
};

class InheritedFloat : public Base<InheritedFloat, float> {} inheritedFloat;


void function(const InheritedFloat& inherited) {
    std::cout << inherited.value << '\n';
}

int main() {
    function(inheritedFloat(10.f));

    return 0;
}

online compiler