如何以简单的方式声明可变参数模板类的类型

Question

我在VS2013中有一个可变的模板化结构，该结构使用模板化功能来允许自动类型推断。

template<typename... T> struct BitVector {
   BitVector(T... args){...}
}
using BitVector_t = struct BitVector<T...>;

template<typename... T>
std::shared_ptr<BitVector_t<T...>>
CreateBitVector(T... args) {
   auto v = new BitVector_t<T...>(args...);
   return std::shared_ptr<BitVector_t<T...>(v);
}

这样，我可以在一行中定义我的位向量的项和默认值。 此外，我可以通过调用轻松创建BitVector

auto mybitvector = CreateBitVector("Item1", int(1), "Item2", std::string("defval")...);

从函数参数推导类型。 这对于auto很有效 ，但是如果我需要某个BitVector作为类成员，则不允许使用auto ，那么所有努力来获得一个干净简单的API，即只在单个位置指定类型和默认值，消失了，因为一个类成员将需要一个额外的声明，例如

std::shared_ptr<
BitVector<char const*, int, 
char const*, std::basic_string<char, std::char_traits<char>, std::allocator<char>>>> 
mMyBitVector;

谁能想象一个简单的解决方法来获取成员声明，​​而无需第二次显式编写参数类型？

Answer 1

如评论中所建议， decltype可能会有所帮助：

#define AUTO_MEMBER(memberName, init) decltype(init) memberName = (init)

class C
{
public:    
    //...
private:
    AUTO_MEMBER(mMyBitVector, CreateBitVector("Item1", 1, "Item2", std::string("defval")));
};

演示版

但我希望在成员类型上明确（并且可能使用一些typedef ）。

Answer 2

使用所有模板参数创建一个类型别名。

using MyBitVector_t = std::shared_ptr<BitVector<char const*, int, std::string>>;

使用类型别名声明成员。

MyBitVector_t mMyBitVector;

类型别名也可以用于定义函数的返回类型和函数的参数类型。