c++ - テンプレートで配列の最初の要素を返せないのはなぜですか?

Question

検討：

#include <iostream>

template <typename T> T getArray( T &arr ) {
    return *arr;
}

int main() {

    int a[] = {5, 3, 6};

    std::cout << getArray(a);

}

配列の最初の要素を出力すると思われますが、機能していません。何故ですか？

エラーが表示されます：

error: no matching function for call to 'getArray(int [3])'

Answer 1

の型はaですint[3]ので、 の型はTですint[3]。関数から配列を返すことはできません。

C++11 では、これを行うことができます。

template <typename T>
auto getArray(T &arr) -> decltype(*arr)
{ 
    return *arr; 
} 

またはこれ：

// requires <type_traits>

template <typename T>
typename std::remove_extent<T>::type& getArray(T &arr)
{ 
    return *arr; 
} 

C++03 ではこれを行うことができますが、まったく同じではありません。

template <typename T>
T getArray(T* arr /* not really an array */)
{ 
    return *arr; 
} 

または：

template <typename T, std::size_t N>
T getArray(T (&arr)[N])
{ 
    return *arr; 
} 

Answer 2

試す

template <typename T, size_t N>
T getArray( T (&arr)[N] ) {
    return *arr;
}

これTは配列ではなく要素の型です。

Answer 3

MSVC++ 2010 Express でもコンパイルできません。予想どおり、これは参照をパラメーターとして使用し、スカラーを戻り値として使用し、ポインターが関数呼び出しに渡されるためです。テンプレートに関する正確なルール (つまり、型がどのように決定されるか) はわかりませんが、そのコードはコンパイラを混乱させる必要があります。次のコードは、期待どおりの結果を返します。

#include <iostream>

template <typename T> T getArray( T* arr ) {
    return *arr;
}

int main() {

    int a[] = {5, 3, 6};

    std::cout << getArray(a);

}

Answer 4

試していただけますか：

#include <iostream>

template <typename T> T getArray( T arr[] ) {
    return *arr;
}

int main() {

    int a[] = {5, 3, 6};

    std::cout << getArray(a);

}