定数行列

Question

this質問を参照するとlitbの特に受け入れanswerを渡す、私は疑問に思う：私はconstを排除

void func(const int (*ip)[3]) { 
    printf("Value: %d\n", ip[1][1]); 
} 

int main() { 
    int i[3][3] = { {0, 1, 2} , {3, 4, 5}, {6, 7, 8} }; 
    func(i); 
    return 0; 
} 

場合、コンパイラは、静止しています。私は何か誤解しましたか？ funcが配列を変更しないようにしたいと思っていました。

EDIT：

typedef int Array[3][3]; 

void func(const Array *p) { 
    printf("Value: %d\n", (*p)[1][1]); 
} 

int main() { 
    Array a = { {0, 1, 2}, {3, 4, 5}, {6, 7, 8} }; 
    func(&a); 
    return 0; 
} 

私は受け入れるが、この種のコードは、より多くのCのような、非常にCのスタイルではありません++：私は私の行列のデータ型を定義する場合同じことが起こります。 C++では、Arrayをすべての行列の振る舞いを含むクラスとして定義すると、実際には問題はありません。

class Array {...}; 

私は、Cの配列の配列と配列の概念をよく理解しておらず、関数に渡していると思います。啓蒙主義？

ありがとうございます。

EDIT2：一方私はこの問題について少し噛んだし、次の質問に収束するようだ：C/C++は、暗黙のうちにconst intへのポインタにintへのポインタに変換します。したがって、次の作品：

func(const int a[]) // aquivalent: func(const int *a) 
{ ... } 

int main() 
{ 
    int b[10]; 
    func(b); 
    return 0; 
} 

しかし、C/C++は、暗黙的にn個const intの配列へのポインタへのn intの配列へのポインタを変換しません。 n intの配列は、暗黙的にn const intの配列に変換されます。暗黙的変換でのこの間接レベルはサポートされていません。以下は、（少なくともCで警告と）拒否されます。

func(const int a[][n]) // aquivalent: func(const int (*a)[n]) 
{ ... } 

int main() 
{ 
    int b[m][n]; 
    func(b); 
    return 0; 
} 

それは、C++が暗黙のうちにもできるかどうかタイプBのテンプレートにタイプAのテンプレートを変換しない問題に似ています暗黙的にBに変換されます.2つのテンプレートは完全に異なるタイプです。

これは正しい答えですか？

Answer 1

あなただけFUNCの呼び出しで引数をキャストして互換性のある値を渡す、CONSTを排除する必要はありません。

 
    func((void *)i); 

可能ならば、CONSTとして私を宣言するpreferrableことが、このうハックはうまくいくはずです。

Answer 2

i変数は3要素の配列です。

関数に関数を渡すと、関数内で最初の要素へのポインタになります。コンパイラはconstをポインターまたは指されたものに追加できます：3の整数の配列。しかし、から3つの整数の配列にからの配列を指すものを変更することはできません。

あなたはキャストを自分で行う必要があると思います。

#include <stdio.h> 

typedef const int array_of_3_constants[3]; 

void func(int (* const i)[3]) { 
    ++i[0][0]; 
    printf("Value: %d\n", i[1][1]); 
} 

void gunc(array_of_3_constants *i) { 
    ++i[0][0];        /* error */ 
    printf("Value: %d\n", i[1][1]); 
} 

int main(void) { 
    int i[3][3] = {{0, 1, 2}, {3, 4, 5}, {6, 7, 8}}; 
    func(i); 
    func((array_of_3_constants*)i);   /* warning */ 
    gunc(i);        /* warning */ 
    gunc((array_of_3_constants*)i); 
    return 0; 
}