通过将模板参数与字符串连接来生成 C++ 类型名

Question

我正在尝试找出一种使用 Boost::MPL 生成类型名的方法，该类型名是模板参数和字符串的连接。

我有一对名为：X 和 XProvider 的类。后者是一个工厂类，它实例化从前一种类型继承的对象。

模板类旨在在运行时管理类型的实例化：它包含除其他外的 unordered_map 和其他一些杂项。成员。

我最终想要实现的是一个看起来像这样的元函数：

给定班级

template <typename T>
class Plugin_Manager{

    using Base_Type = T;

    std::vector<Get_Provider_Type<Base_Type>::type *> m_provider_collection;

      */ ... /*

};

Get_Provider_Type<T> 是一个返回类型名 TProvider 的元函数。

基于this answer，我认为元函数应该是这样的：

    template < typename Str1, typename Str2 >
    struct concat : boost::mpl::insert_range < Str1, typename boost::mpl::end<Str1>::type, Str2 > {};


    template <class T> struct Get_Provider_Type{
        typedef typename boost::mpl::string<boost::mpl::c_str<T>::value>::type Base_Name;
        typedef boost::mpl::string<'Prov', 'ider'> Suffix;

        typedef typename concat<Base_Name, Suffix>::type type;
    };

但是，我真的不了解 mpl::c_str 或 mpl::string 或它们的正确用法，并且我无法按照收到的错误消息进行操作。上面写的代码给了我错误信息：

    error C2039: 'value_type' : is not a member of 'foo'

（这里的 foo 是模板参数——Plugin_Manager<foo>）

我意识到如果我使用大型宏而不是 c++ 模板，我可能会完成这项工作，但如果完全可能，我真的希望避免这种情况。

非常感谢任何建议。

谢谢- 什穆尔

Answer 1

嗯，你不能通过连接字符串和模板参数来获得类型名，但如果你的意图是......

我想要一个元函数 Get_Provider_Type::type 它将为我返回类型 fooProvider

你可以简单的在foo中定义类型：

struct foo {
    using provider = fooProvider;
};

如果您需要它，您可以实现您的“元函数”，它将适用于所有定义 T::provider 的类型

template<class T>
struct Get_Provider_Type {
    using type = typename T::provider;
};

如果您无法修改 foo 来定义类型，这会很有用。然后你可以专攻Get_Provider_Type：

template<>
struct Get_Provider_Type<foo> {
    using type = fooProvider;
};