如果我將這個基類的指針轉換爲派生類型，它是否安全並定義好了？

Question

如果我有一個模板基類，需要派生類的類型，是安全的，這個基類的這個指針轉換爲派生類的類型？

考慮這個代碼，其中基類A將此指針轉換爲模板參數（Derived）。它還檢查提供的類型是否實際上是從這個類派生的。它顯然有效（在這裏），但是它有很好的定義？

#include <iostream> 

class D; 

template<typename Derived, typename T> 
class A 
{ 
public: 
    Derived *thisToDerived() { 
     static_assert(std::is_base_of< A<Derived, T>, Derived>::value, "not"); 
     return static_cast<Derived*>(this); 
    } 
private: 
    T m; 
}; 


class D : public A<D, int> 
{ 
private: 
    double d; 
    float f; 
}; 


int main() { 
    D d; 
    std::cout<<"this: "<<&d<<"\nderived: "<<d.thisToDerived(); 
} 

Answer 1

如果我有一個模板基類，需要派生類的類型，是安全的this指針這個基類的強制轉換爲派生類的類型？
...
顯然，它的工作原理（在這裏），但它明確定義？

是的，它是安全的，並明確界定。它實際上是一個衆所周知的和常用的模式（見CRTP）以及又名靜態多態。用法

例子：

• Microsoft ATL
• 阿列克謝Andrescou的Loki library

---

Derived *thisToDerived() { 
    // Your static_assert is superfluos 
    // static_assert(std::is_base_of< A<Derived, T>, Derived>::value, "not"); 
    return static_cast<Derived*>(this); 
     // ^^^^^^^^^^^^^^^^^^^^^ 
     // Already guarantees that Derived is inherited from A 
}