C++0x可以...
好像叫template alias

  回復(fù)  更多評論
  

@OwnWaterloo

那么說基本上不可以咯?  回復(fù)  更多評論
  

@溪流
好像是這樣的…… 很尷尬……

RbTree和Set還好一些，因為它們的接口不一定相同，可能真的需要用RbTree實現(xiàn)Set，并增加或隱藏一些成員。

我以前遇到的情況是實現(xiàn)了一個allocator，然后想運用到STL的容器當(dāng)中去，發(fā)現(xiàn)了這個問題……

下面這種想當(dāng)然的代碼行不通：
template<typename T>
typedef std::vector<T,my_allocator<T> > my_vector;

而且my_vector和vector行為完全相同。不像RbTree，本來就需要Set去adapt一下。比如下面3種代碼，都很惡心：

1.
template<typename T>
my_vector : public std::vector<T,my_allocator<T> > {};

2.
template<typename T>
my_vector : std::vector<T,my_allocator<T> > {
// forwarding functions
};

3.
template<typename T>
my_vector {
std::vector<T,my_allocator<T> > v_;
// forwarding functions
};


后來想想，算了，我的工作就是提供allocator，不負責(zé)為其取一個好聽的名字。
敢用allocator的人，肯定知道應(yīng)該這么用：
std::vector<his_element,my_allocator<T> > v; //一個使用了my_allocator的std::vector。
同樣工作得很好嘛。



相反，使用c++0x的功能，可能還會造成一些問題：
my_vector<int> v; // my_vector是什么東西？

哦，看到這些代碼，才能明白它是什么東西：
template<typename T>
using my_vector = std::vector<T,my_allocator<T>>;


這和typedef的誤用會過多引入不必要的概念是一個道理。

  回復(fù)  更多評論