C++クラスのテンプレートコンストラクタ - 配列（U *）のオーバーロード参照（U＆）が失敗しました

Question

代わりにスカラーを取る別の人をオーバーロードする引数として配列をとるコンストラクタを構築しようとしています。コードは以下のとおりです。

#include <iostream> 

template <typename T> 
class SmallVec { // This is a 3 dimensional vector class template 
public: 
    T data[3] = {0}; // internal data of class 
    template <typename U> 
    explicit SmallVec(const U& scalar) { // if a scalar, copy it to each element in data 
     for(auto &item : data) { 
      item = static_cast<T>(scalar); 
     } 
    } 
    template <typename U> 
    explicit SmallVec(const U* vec) { // if a vector, copy one by one 
     for(auto &item : data) { 
      item = static_cast<T>(*vec); 
      vec++; 
     } 
    } 
}; 

int main() { 
    float num = 1.2; 
    float *arr = new float[3]; 
    arr[2] = 3.4; 
    SmallVec<float> vec1(num); // take num, which works fine 
    SmallVec<float> vec2(arr); // !!!--- error happens this line ---!!! 
    std::cout << vec1.data[2] << " " << vec2.data[2] << std::endl; 
    return 0; 
} 

コンパイラは

error: invalid static_cast from type 'float* const' to type 'float' 

はもちろん、vec2(arr)はまだ最初のコンストラクタを呼び出すと文句を言い。ただし、template <typename U>を削除し、UをTに置き換えてください。プログラムは正常に動作します。これを修正するにはどうしたらよいですか？

何か提案がありがとうございます！

Answer 1

をあなたはに2つ目のコンストラクタを変更することで問題を解決することができ

配列を引数として取るコンストラクタを構築しようとしています

（...）

explicit SmallVec(const U* vec) { // if a vector, copy one by one 

あなたは、配列を取ることはありません。 をポインタを指しても指していなくてもよく、配列を指していても、その配列に少なくとも3つの要素があると言う人はいますか？それは深刻な設計上の欠陥です。構文は恐ろしいであっても、あなたが参照またはconst参照によって生の配列を取ることができない++

C：

explicit SmallVec(const U (&vec)[3]) { 

コンストラクタの実装も、その後異なります

for(int index = 0; index < 3; ++index) { 
     data[index] = static_cast<T>(vec[index]); 
    } 

を見ますしかし、mainに、問題は深刻になります。配列を動的に割り当てるには、new[]を使用します。それはすでに非常に悪い考えです。偶然にも、あなたの例にはdelete[]がありません。代わりにローカル配列を使用してみませんか？

float arr[3]; 

これは、プログラムが正しく実行され、おそらくコンパイルとなりますが、あなたが唯一の有効な値に、配列の3番目の要素を設定するので、あなたのコード内の未定義の動作は、まだあります。他の2つの要素は初期化されずに残っており、初期化されていないfloatからの読み込みは、正式にコピーしても未定義の動作になります。

だから、より良いそれを作る：それに加えて

float arr[3] = { 0.0, 0.0, 3.4 }; 

を、C++ 11は、一般的に物事が少しより安全になり、構文が向上し、std::arrayを使用していただけます。ここに完全な例があります：

#include <iostream> 
#include <array> 

template <typename T> 
class SmallVec { // This is a 3 dimensional vector class template 
public: 
    std::array<T, 3> data; // internal data of class 
    template <typename U> 
    explicit SmallVec(const U& scalar) { // if a scalar, copy it to each element in data 
     for(auto &item : data) { 
      item = static_cast<T>(scalar); 
     } 
    } 
    template <typename U> 
    explicit SmallVec(std::array<U, 3> const& vec) { // if a vector, copy one by one 
     for(int index = 0; index < 3; ++index) { 
      data[index] = static_cast<T>(vec[index]); 
     } 
    } 
}; 

int main() { 
    float num = 1.2; 
    std::array<float, 3> arr = { 0.0, 0.0, 3.4 }; 
    SmallVec<float> vec1(num); 
    SmallVec<float> vec2(arr); 
    std::cout << vec1.data[2] << " " << vec2.data[2] << std::endl; 
    return 0; 
} 

Answer 2

は、ここであなたが望む結果を得るためにSFINAEを使用する方法は次のとおりです。

ライブ

#include <vector> 
#include <map> 
#include <string> 

using namespace std; 

template<class T> 
    struct Foo { 

    template <class U, typename enable_if<is_pointer<U>::value, int>::type = 0> 
     Foo(U u){} 

    template <class U, typename enable_if<!is_pointer<U>::value, int>::type = 0> 
     Foo(U u){} 

    }; 


int main() 
{ 
    Foo<int> f('a'); // calls second constructor 
    Foo<int> f2("a"); // calls first constructor 
} 

：https://godbolt.org/g/ZPcb5T

Answer 3

両方のコンストラクタを明示的に指定子を使用し、型変換を回避しようとしてもかかわらず、あなたが最初であることに注意すべきです第二のものと同じくらい良い候補者です。

明示SmallVec（のconst float型* &スカラー）

完全に許容可能であるとコンパイルエラーを説明します：あなたはあなたが得る*フロートのためのUに置き換えた場合。しかし、私はもっと明示的な方法を提案

template <typename U> 
explicit SmallVec(U* const vec) { // if a vector, copy one by one 
    U* local = vec; 
    for(auto &item : data) { 
     item = static_cast<T>(*local); 
     local++; 
    } 
} 

：

class ScalarCopy {}; 
class VectorCopy {}; 

... 

template <typename U> 
SmallVec(const U& vec, ScalarCopy); 

template <typename U> 
SmallVec(const U* const vec, VectorCopy); 

をして明示的に呼び出します

SmallVec<float> vec1(num, ScalarCopy()); 
SmallVec<float> vec2(arr, VectorCopy());