具有不同模板類型的子類的多態性

Question

我有帶有模板的課程，有些課程是從他那里繼承的。 我們要創建父類的實例而不聲明其模板類型，並調用一個返回模板類型的函數。

例：

class FatherWrap {
    virtual ~FatherWrap() = default;
};

template<typename T>
class FatherClass : public FatherWrap
{
    virtual T getValue();
};

class SonClass1 : public FatherClass<int>
{
    int getValue() override;
};

class SonClass2 : public FatherClass<string>
{
    string getValue() override;
};  

int main()
{
    FatherWrap* ch = new SonClass1();
    T a = ch->getValue; // What to do instead of T.
}

Answer 1

假設您有：

• 非參數化（無模板）基本類B
• 從B繼承的中間模板類I<T>
• 一些派生類D1 ， D2等，每個都繼承自I的專業化

您想根據B編寫一些代碼。 您可以做到這一點-但您必須限制自己使用B定義的API。 B的方法可以是虛擬的，並且I<T>和Dx中這些方法的實現/重寫可以使用類型T ，但那些類型不能暴露給僅了解B的組件。

如果要編寫一些使用T邏輯，則該邏輯必須在I<T>的方法中，或者在本身使用類類型參數化的模板函數中：

template<class U>
U someTypeSpecificLogic(I<U> intermediate) {
    // can call methods that accept/return U here
}

您不能使用依賴於類型T的B來編寫邏輯，因為該類型僅為子類I<T>定義。 認為B你是一個不同的子類， B ，而不是I<T>在所有。

Answer 2

您可以完全跳過FatherWrap ，並使基類返回一個變體：

struct FatherClass : FatherWrap {
    virtual std::variant<int, std::string> getValue();
};

struct SonClass1 : FatherClass {
    std::variant<int, std::string> getValue() override {
        return "some text";
    }
};

struct SonClass2 : FatherClass {
    std::variant<int, std::string> getValue() override {
        return 95;
    }
};   

---

另外，您可以模板化任何使用SonClass代碼：

struct SonClass1 { // no parent.
    std::string getValue() {
        return "some text";
    }
};

struct SonClass2 { // no parent.
    int getValue() {
        return 95;
    }
};

template<typename T>
void useSonClass(T& son) {
    // value may be int or string.
    auto value = son.getValue();
}

int main() {
    SonClass1 sc1;
    SonClass2 sc2;

    useSonClass(sc1);
    useSonClass(sc2);
}

如果要包含它，只需使用一個變體：

int main() {
    std::variant<SonClass1, SonClass2> sc = SonClass2{};

    std::visit(
        [](auto& sc) { useSonClass(sc); },
        sc
    );
}