C++スコープ？関数に配列を渡すときに問題が発生する

Question

以下のコードを検討してください。これは、次の出力が生成されます

Length: 64 Testfn: 8 Length again: 64

私はトラブルtest -functionでの出力が主な機能での出力に等しくない理由を理解を持っています。 test -functionの出力が8に等しいことを考慮すると、sizeof(arg)が配列自体ではなくポインタのサイズを取得するため、これが原因であると想定します。

これはすべて私には非常に論理的と思われるが、なぜsizeofは、main関数内に同じ値を与えるものではありませんか？そして私はそれをどのように修正するのですか？逆参照でいくつかのことを試しましたが、これは何の違いもありません。

#include <iostream> 

void test(int arg[]) { 
    std::cout << "Testfn: " << sizeof(arg) << std::endl; 
} 

int main() { 
    int int_arr[16]; 
    std::cout << "Length: " << sizeof int_arr << std::endl; 
    test(int_arr); 
    std::cout << "Length again: " << sizeof int_arr << std::endl; 
} 

Answer 1

関数パラメータ

void test(int arg[]) { 

はint型へのポインタに調整されます。これは次の関数宣言です。

void test(int arg[16]); 
void test(int arg[]); 
void test(int *arg); 

は同等です。

だから関数内4または8

のいずれかに通常等しい使用してプラットフォームに依存宣言するする

void test(int (&arg)[16]) { 
    std::cout << "Testfn: " << sizeof(arg) << std::endl; 
} 

ようなC++関数を宣言することができsizeof(int *)が使用されパラメータを配列への参照として渡します。この場合、期待される結果が得られます。

Answer 2

あなたがC++11以降を使用している場合は、std::arrayは何が必要です：

#include <iostream> 
#include <array> 

template<size_t N> 
void test(const std::array<int, N>& arg) { 
    std::cout << "Testfn: " << arg.size() << std::endl; 
} 

int main() { 
    std::array<int, 16> int_arr; 
    std::cout << "Length: " << int_arr.size() << std::endl; 
    test(int_arr); 
    std::cout << "Length again: " << int_arr.size() << std::endl; 
}