继续上次的问题，move semantics与模版化

Frahm

上次我问题的地址：
http://bbs.chinaunix.net/thread-4077214-1-1.html
这是之后我在stackoverflow上提问的地址:
http://stackoverflow.com/questio ... redirect=1#16060939
把我要做的简化一下，大概就是下面的这个模版类函数

1. 
   
2. template<typename T, bool has_move_ctor>
   
3. struct MoveAux;
   
4. 
   
5. template<typename T>
   
6. struct MoveAux<T, true> {
   
7.     static void doMove(T* dest, T* src) {
   
8.         new(dest) T(std::move(*src)); //move ctor
   
9.     }
   
10. };
    
11. 
    
12. template<typename T>
    
13. struct MoveAux<T, false> {
    
14.     static void doMove(T* dest, T* src) {
    
15.         new(dest) T(*src); //copy ctor
    
16.         src->~T();
    
17.     }
    
18. };
    
19. 
    
20. template<typename T>
    
21. inline doMove(T* dest, T* src) {
    
22.     MoveAux<T,/*a trait*/>::doMove(dest, src);
    
23. }

复制代码

根据一个类是否可以通过 T t(std::move(other))来显式调用move ctor来特化操作, 问题是那个trait里应该传什么呢？如何能知道一个类是否有move ctor呢，如果有的话，这样写T t(std::move(other))一定会调用的吧？

littledick

吐糟不能{:3_190:}