Làm thế nào để gán một mảng đa chiều cho một biến tạm thời?

Question

Tôi muốn gán mảng được phân bổ tĩnh, đa chiều cho một biến tạm thời. Hãy xem xét ví dụ sau:

void foo(int b[3][2]) 
{ 
    b[1][1] = 1; // no segmentation fault 
} 

int main() 
{ 
    int a[3][2] = {{1, 2}, {11, 12}, {21, 22}}; 

    foo(a); 

    int** c; 
    c = (int**)&a; 
    c[1][1] = 1; // segmentation fault on execution 

    int* d[3]; 
    d[0] = (int*)&(a[0]); 
    d[1] = (int*)&(a[1]); 
    d[2] = (int*)&(a[2]); 
    d[1][1] = 1; // no segmentation fault 

    return 0; 
} 

Về cơ bản tôi muốn làm những gì trình biên dịch thực hiện với tham số b của foo(). Nhưng giải pháp làm việc duy nhất tôi có thể đưa ra là d. Có cách nào ít phức tạp hơn không?

Answer 1

cdecl (man page) là bạn của bạn:

cdecl> explain int b[3][2] 
declare b as array 3 of array 2 of int 
cdecl> declare b as pointer to array 2 of int 
int (*b)[2] 

Vì vậy, hãy thử này:

void foo(int b[3][2]) 
{ 
    b[1][1] = 1; // no segmentation fault 
} 

int main() 
{ 
    int a[3][2] = {{1, 2}, {11, 12}, {21, 22}}; 

    foo(a); 

    int (*b)[2] = a; 

    b[1][1] = 1; 

    return 0; 
} 

Answer 2

int[3][2] và int** nhiều loại không tương thích. Bạn không thể đúc một cái khác.

Hãy thử điều này:

int (*c)[2]; 
c = a; //no need to cast 
c[1][1] = 1; //ok 

Hoặc bạn có thể làm điều này (khai cũng như khởi tạo):

int (*c)[2] = a; //no need to cast 
c[1][1] = 1; //ok 

---

Thumb của quy tắc:

• Đừng dùng c-style cast trong C++. Sử dụng C++ - dàn diễn viên. Đã bạn sử dụng C++ - phong cách diễn viên, trình biên dịch sẽ nói với bạn những vấn đề nhiều trước (ideone) (không cần phải chạy mã để xem vấn đề):

  prog.cpp:5: error: invalid static_cast from type ‘int (*)[3][2]’ to type ‘int**’ 
  

  Nhưng C-style cast biên dịch nó tốt (ideone), như bạn đã biết.

• Và bất cứ khi nào bạn sử dụng tính năng truyền, ngay cả khi tạo kiểu C++, nghi ngờ đầu tiên của bạn sẽ là tự diễn nếu chương trình không hoạt động như mong đợi.

Answer 3

Nếu bạn đang sử dụng một trình biên dịch khá hiện đại hỗ trợ đủ các bộ phận của tiêu chuẩn C++ 11, bạn có thể sử dụng auto:

int a[3][2] = ...; 
auto &b = a; 
b[1][1] = 1; // a[1][1] will be set 

Tất nhiên, cả hai a và b phải được xác định trong cùng một phạm vi cho nó hoạt động. Bạn không thể có một tham số auto trong một chức năng ví dụ (đó là những gì các mẫu dành cho.)

Answer 4

Như bạn có thể nhận thức bây giờ, từ câu trả lời khác, loại a là không thực sự tương đương với int** - nó jsut phân rã cho điều đó (khi trả về/được chuyển theo giá trị).

int (*b)[2] = a; // would solve that 

Có một C++ cách hơn:

typedef std::array<std::array<int, 2>, 3> M23; 

void foo(M23& b) 
{ 
    b[1][1] = 1; 
} 

int main() 
{ 
    M23 a = {{1, 2}, {11, 12}, {21, 22}}; 

    foo(a); 

    M23 d = a; 
    d[1][1] = 1; 
} 

Answer 5

Xin chớ từ bỏ một cách rõ ràng, vì vậy hãy thử viết

c = &a; 

Sau đó trình biên dịch GCC (sử dụng gcc -Wall -g bidim.c -o bidim để biên dịch) mang đến cho bạn cảnh báo chính xác:

bidim.c:13:7: warning: assignment from incompatible pointer type [enabled by default] 

Và sau đó bạn sẽ nhận ra rằng một ma trận 2D không được thực hiện như một mảng các con trỏ tới các mảng 1D.

Answer 6

Điều đầu tiên mà đi vào tâm trí của tôi đang sử dụng một typedef và tài liệu tham khảo như

typedef int thing_t[3][2]; 
thing_t& e = a; 
e[1][1] = 1; 

Với con trỏ

int (*f)[2] = a; 
f[1][1] = 1; 

Một khả năng khác là để đóng gói nó trong struct.