如何在使用C++模板創建的類之間進行轉換？

Question

我有一個模板SoundRecording.h：

template <typename T> 
class SoundRecording { 
public: 
    explicit SoundRecording(T init); 
private: 
    T data; 
}; 

template <typename T> 
SoundRecording<T>::SoundRecording(T init){ 
    data = init; 
} 

而且我可以這樣創建這個模板類的實例：

SoundRecording<int16_t> recording(INT16_MAX); 

什麼是recording轉換爲SoundRecording<float>的最佳方式？

我知道我可以用一個簡單的方法，比如我可以聲明：

SoundRecording<float> convertInt16ToFloat(SoundRecording<int16_t> input) 

但我不知道是否有一個更優雅的方式來實現這一目標使用賦值或構造函數運算符。

更新以下評論：我期待定義一個明確的轉換。在上面的例子中，recording.data在施工後等於INT16_MAX。在轉換爲float後，它應該等於1.0F。

Answer 1

你可以有一個模板轉換操作符像

template<class U> 
explicit operator SoundRecording<U>() { /*do the conversion here*/ } 

最少的代碼片段，體現了該技術：

template<class T> 
struct X 
{ 
    template<class U> 
    explicit operator X<U>() {return {};} 
}; 

int main() 
{ 
    X<int> x; 
    auto y = static_cast<X<float>>(x); // conversion 
} 

Live on Coliru

由於@Mooing鴨評論說，試圖請將您的轉換運算符標記爲explicit以避免令人討厭的不需要的編譯器觸發的轉換。

你可以走得更遠一點，使您的轉換隻在T可轉換爲U或反之亦然，通過的std::enable_if和std::is_convertible組合，像這樣：

template<class U, 
     typename std::enable_if<std::is_convertible<T, U>::value>::type* = nullptr> 
explicit operator X<U>() {return {};} 

Answer 2

爲了讓這個示例用複製構造函數代替鑄造操作符：

#include <cstdint> 

template <typename T> 
class SoundRecording { 
public: 
    SoundRecording(); 

    template <typename U> 
    SoundRecording(const SoundRecording<U>& other); 

private: 
    T *data; 

    template <typename U> 
    friend class SoundRecording; 
}; 

template <typename T> 
SoundRecording<T>::SoundRecording(){ 
    data = new T[10]; 
} 

template <typename T> 
template <typename U> 
SoundRecording<T>::SoundRecording(const SoundRecording<U>& other){ 
    data = new T[10]; 
    for (int i = 0; i < 10; ++i) { 
     data[i] = static_cast<T>(other.data[i]); 
    } 
} 

int main(){ 
    SoundRecording<int16_t> recording16; 
    SoundRecording<float> recordingFloat(recording16); 
}