GCC shared_ptr和地图上make_shared分离的变量类型错误

GCC shared_ptr and make_shared on map separated var type error

本文关键字：shared 变量 错误 分离 类型 ptr 地图 GCC make      更新时间：2023-10-16

我想使用std::shared_ptr和std::make_shared并创建一个具有分离变量类型的地图列表...我的编译器是GCC，这是我的来源

#include <iostream>
#include <cstring>
#include <memory>
#include <string>
#include <map>
using namespace std;
class key_base {
public:
    virtual ~key_base() = default;
    key_base() = default;
    template <typename T> const T & Read();
};
template <typename T>
class key : public key_base {
private:
    T storage_;
public:
    key(const T & __storage) {
        storage_ = __storage;
    }
    const T & Read() { return storage_; }
};
int main() {
    map <int, std::shared_ptr <key_base>> List;
    List[0] = std::make_shared <key<string>>("Hello");
    List[1] = std::make_shared <key<string>>("How old are you?");
    List[2] = std::make_shared <key<int>>(22);

    for (auto thisItem : List) {
        if(thisItem.first == 2)
            cout << thisItem.first << "= (" << thisItem.second->Read<int>() << ")" << endl;
        else
            cout << thisItem.first << "= (" << thisItem.second->Read<string>() << ")" << endl;
    }
    return 0;
}

我知道key_base (Read)函数需要虚拟且= 0的一件事，而且它必须是模板（以获取var的类型），并且在GCC中是不可能的（但在Microsoft编译器中可能）。我也应该为此做什么？

问题是你认为动态多态性适用于模板。

基本上base_class中的模板声明template <typename T> const T & Read();是完全没用的。你认为编译器如何推断如果使用基类应该为Read()做什么？此模板没有定义，编译器不知道如何到达定义此方法的子类。

您的设计是错误的，由于这是经典的XY问题，我们无法帮助您正确解决此问题。

看起来您应该查看 C++17 的新模板： std::any

要使其工作（我讨厌代码设计），您需要在类后添加缺少key模板定义： 
template <typename T>
const T & key_base::Read()
{
    if (auto subClassObject = dynamic_cast<key<T> *>(this)) {
        return subClassObject->Read();
    }
    throw domain_error { "Invalid Read use" };
}

它适用于Visual Studio。它适用于海湾合作委员会。

相关文章：