3 
#include <type_traits>

template <typename T1, typename T2, typename is_allocated>
struct mutable_storage {};

template <
    template<typename, typename, typename> class storage_t,
    typename T2           = void,
    typename is_allocated = std::false_type
>
class Buffer : storage_t<Buffer<storage_t,void,void>, T2, is_allocated>
{};



int main() {
    typedef Buffer<mutable_storage> example_buffer;
}

此代码编译（至少使用 C++14 之后的 GNU GCC 编译器）。但是，我不喜欢使用的语法

class Buffer : storage_t<Buffer<storage_t,void,void>, T2, is_allocated>

由于它不应该要求 Buffer 被专门化：我希望 Buffer 被识别为模板模板参数，例如：

class Buffer : storage_t<Buffer, T2, is_allocated>

然后我希望 mutable_storage 结构能够识别模板专业化，例如

template <typename T2, typename is_allocated>
struct mutable_storage<Buffer, T2, is_allocated> { ... };

（当然不允许，因为“Buffer”不是一种类型，所以也应该改变）。但是它现在使用的方式，能够专门使用类型 Buffer 感觉有点讨厌。例如，使用 typedef 

 typedef Buffer<storage_t, void, void> Buffer_Policy

也觉得有点恶心。我正在寻找一种更清洁的方式。我试图制作一个模板模板模板参数，但这会导致模板参数中的额外模板无限流动（我不确切知道 template<...> 是如何工作的，所以也许是这样？），作为Buffer 继承自需要另一个 Buffer 才能声明 storage_t 的东西。我也尝试过使用隐式类，即 inner_storage_t。这也没有导致成功。有没有人有建议以使程序更清洁？顺便说一句，如果您发现任何其他错误或效率低下，请随时提及。感谢您的阅读以及您的帮助。

4

1 回答 1

2

由于T1仅用于模板专业化选择，因此您实际上不必使用Buffer它自己。您可以改用标签类型。

将其放在命名空间中还可以避免使用标签污染封闭命名空间的其余部分。

#include <type_traits>

template <typename T1, typename T2, typename is_allocated>
struct mutable_storage {};

namespace storage_tags {
  struct Buffer_T {};
}

template <
    template<typename, typename, typename> class storage_t,
    typename T2           = void,
    typename is_allocated = std::false_type
>
class Buffer : public storage_t<storage_tags::Buffer_T, T2, is_allocated> { 

};
于 2018-06-01T15:40:36.073 回答