模板化的typedef？

我正在使用libgc,一个用于C和C++的垃圾收集器.要使STL容器可以收集垃圾,必须使用gc_allocator.

而不是写作

std::vector 

一个人必须写

std::vector >

可以有一种方法来定义类似的东西

template typedef std::vector > gc_vector;

我前一段时间检查过,发现它不可能.但我可能错了,或者可能有另一种方式.

以这种方式定义地图尤其令人不快.

std::map 

变

std::map, gc_allocator< std::pair > >

编辑:尝试使用宏后,我发现以下代码打破了它:

#define gc_vector(T) std::vector >
typedef gc_vector( std::pair< int, float > ) MyVector;

模板化类型定义中的逗号被解释为宏参数分隔符.

所以内部类/结构似乎是最好的解决方案.

这是一个如何在C++ 0X中完成的示例

// standard vector using my allocator
template
using gc_vector = std::vector >;

// allocates elements using My_alloc
gc_vector  fib = { 1, 2, 3, 5, 8, 13 };

// verbose and fib are of the same type
vector> verbose = fib; 

Snps.. 75

你可以使用using像这样的C++ 11模板化类型别名

template 
using gc_vector = std::vector>;

_{注意:我知道这是一个老问题,但由于它有很多赞成,因为它出现在搜索结果中,我认为它应该得到更新的答案.}

1> Snps..：

---

你可以使用using像这样的C++ 11模板化类型别名

template 
using gc_vector = std::vector>;

_{注意:我知道这是一个老问题,但由于它有很多赞成,因为它出现在搜索结果中,我认为它应该得到更新的答案.}

2> Paolo Tedesc..：

---

您不能使用"模板化typedef",但您可以使用具有内部类型的便捷类/结构:

template
struct TypeHelper{
    typedef std::vector > Vector;
};

然后在你的代码中使用

TypeHelper::Vector v;
TypeHelper::Vector::iterator it;

和地图类似的东西:

template
struct MapHelper{
    typedef std::map > Map;
};

编辑 - @Vijay:我不知道是否有另一种可能的解决方法,我就是这样做的; 一个宏可能会给你一个更紧凑的符号,但我个人不喜欢它:

#define GCVECTOR(T) std::vector >

编辑- @chmike:请注意,该TypeHelper解决方案不要求你重新定义构造函数!

---

您可以在答案中添加模板typedef(也称为模板别名)将包含在C++ 0x中(但是,gcc尚不支持)http://www.open-std.org/jtc1/sc22/wg21/文档/文件/ 2007/n2258.pdf.

3> sharptooth..：

---

你可以公开继承:

template
class gc_vector : public std::vector >
{
    public:
    // You'll have to redeclare all std::vector's constructors here so that
    // they just pass arguments to corresponding constructors of std::vector
};

这完全解决了您的问题.派生类型可以在任何可以使用基类型的地方使用,并且没有任何合适的编译器的实现开销.

如果您尝试通过指向基类变量的指针删除派生类变量,则std :: vector具有非虚拟析构函数的事实可能会导致根据C++标准的未定义行为.

在现实世界中,这在这种特殊情况下无关紧要 - 与基类相比,派生类没有添加新内容,因此派生类的析构函数只调用基类的析构函数.无论如何都要小心翼翼地进行妄想.

如果您从未在堆上分配此类变量(并且通常在堆栈上分配矢量变量并作为其他类的成员),则非虚拟析构函数问题不会影响您.

---

不,在这种情况下无关紧要.派生与基数相比没有新的数据成员,因此删除Base*和Derived*之间没有区别.派生的构造函数无论如何都只调用基础构造函数.

---

@sharptooth - 它确实很重要 - 你的建议可能会发生,但标准说它是UB.

---

依赖未定义的行为没有常识.无论一个实现发生了什么,它本身都是不可移植的.所以,是的,在这种情况下,标准是"常识"的替代品.