C 中的類型多態(tài)性：虛擬模板方法

在C 程式設(shè)計中，將虛擬成員函數(shù)與類別模板結(jié)合起來可能具有挑戰(zhàn)性。當(dāng)您想要根據(jù)執(zhí)行時間類型資訊動態(tài)分派方法，但仍保持類型安全行為時，就會發(fā)生這種情況。

問題

考慮以下抽象類別和它的衍生實作：

<code class="cpp">class AbstractComputation {
public:
    template <class T> virtual void setData(std::string id, T data) = 0;
    template <class T> virtual T getData(std::string id) = 0;
};

class Computation : public AbstractComputation {
public:
    template <class T> void setData(std::string id, T data);
    template <class T> T getData(std::string id, T data);
};</code>

這裡的目的是呼叫setData("foodouble ", data) 會將foodouble 標(biāo)識的double 設(shè)定為data 的值。

可能的解決方案

1.刪除靜態(tài)多態(tài)性：

一種方法是消除靜態(tài)多態(tài)性性（模板）並引入鍵值對的通用儲存：

<code class="cpp">class ValueStore {
    template <typename T>
    void setData(std::string const & id, T value);
    template <typename T>
    T getData(std::string const & id) const;
};

class AbstractComputation {
public:
    template <typename T>
    void setData(std::string const & id, T value) { m_store.setData(id, value); }
    template <typename T>
    T getData(std::string const & id) const { return m_store.getData<T>(id); }
protected:
    ValueStore m_store;
};</code>

此解決方案提供動態(tài)多態(tài)性，而無需需要模板專門化。

2.刪除動態(tài)多態(tài)性：

另一個選項是維護(hù)運(yùn)行時多態(tài)性，但刪除靜態(tài)多態(tài)性：

<code class="cpp">class AbstractComputation {
public:
    template <typename T>
    void setData( std::string const & id, T value ) { setDataImpl( id, boost::any( value ) ); }
    template <typename T>
    T getData( std::string const & id ) const {
        boost::any res = getDataImpl( id );
        return boost::any_cast<T>( res );
    }
protected:
    virtual void setDataImpl( std::string const & id, boost::any const & value ) = 0;
    virtual boost::any getDataImpl( std::string const & id ) const = 0;
};</code>

這裡，使用boost::any 進(jìn)行類型擦除允許分派到非模板化不犧牲類型安全的方法。

以上是如何使用 C 中的虛擬模板方法實現(xiàn)類型安全的動態(tài)調(diào)度？的詳細(xì)內(nèi)容。更多資訊請關(guān)注PHP中文網(wǎng)其他相關(guān)文章！