4

我目前有一个采用一系列类型的类模板。每种类型都可能需要用类本身来实例化。我目前拥有的是这样的：

template <typename... Types>
struct TypeList; // Not defined

struct Placeholder; // Not defined

template <typename Types, typename AnotherType = Default>
class MyClass
{
    // ...
};

然后你可以像这样使用它：

typedef MyClass<TypeList<Container1<Placeholder>, Container2<std::string,
        Placeholder>, OtherType>, OptionalType> MyTypedef;
MyTypedef my_object;

MyClass将Placeholder用自己替换外观，使用结果类型，一切都很好。

当我尝试执行以下任一操作时会出现问题：

MyTypedef *my_ptr = &my_object;
my_free_function(my_object);

这两者都会导致编译器错误，因为编译器会尝试实例化Container1<Placeholder>并Container2<std::string, Placeholder>执行参数相关查找 (ADL)，而使用 的实例化Placeholder本身会失败。

我知道可以通过执行以下操作来避免 ADL，例如，

MyTypedef *my_ptr = std::addressof(my_object);
(my_free_function)(my_object);

但是，我不想让用户MyClass不得不不断地抑制 ADL。是否有另一种直接的方法让用户提供类型列表而不将这些类型用于 ADL？

4

1 回答 1

0

好的，我让一切正常。诀窍是直接使用依赖类型而不是使用模板。我的最终解决方案是按如下方式定义 TypeList：

template <typename... Types>
struct TypeList
{
private:
    struct Holder
    {
    private:
        typedef TypeList<Types...> InnerTypeList;
        template <typename Types, typename AnotherType>
        friend class MyClass;
    };
public:
    typedef Holder type;
};

然后，MyClass 的用户可以做

typedef MyClass<TypeList<Container1<Placeholder>, Container2<std::string,
        Placeholder>::type, OtherType>, OptionalType> MyTypedef;
MyTypedef my_object;

注意添加 '::type'

最后，在 MyClass 中，我替换了

typedef typename SubstituteType<Types, Placeholder, MyClass>::type InternalTypeList;

和

typedef typename SubstituteType<Types::InnerTypeList, Placeholder, MyClass>::type
        InternalTypeList;

给我InternalTypeList和以前一样的类型。

因为依赖类型Holder没有它自己的模板参数，所以编译器不必为 ADL 目的实例化占位符类型，并且一切正常。

于 2013-02-11T19:02:23.640 回答