Typedef для двумерного массива в C и доступ по указателю

b имеет указатель типа на table_t, следовательно, вам следует обращаться к таблице через *b, а поскольку постфиксные операторы имеют более высокий приоритет, чем префиксные операторы, вы должны заключить *b в круглые скобки перед разыменованием элементов таблицы:

void print_column_zero(table_t *b) {
    printf("%d\n", (*b)[0][0]);
    printf("%d\n", (*b)[1][0]);
    printf("%d\n", (*b)[2][0]);
    printf("%d\n", (*b)[3][0]);
}

[...]

    // passing a pointer to the table
    print_column_zero(&a);

Обратите внимание, что вместо указателя на table_t вы можете написать:

void print_column_zero(table_t b) {
    printf("%d\n", b[0][0]);
    printf("%d\n", b[1][0]);
    printf("%d\n", b[2][0]);
    printf("%d\n", b[3][0]);
}

[...]

    // passing a table, which decays to a pointer to its first element
    print_column_zero(a);

Поскольку table_t является определением типа для массива, это будет эквивалентно: void print_column_zero(int (*b)[2])... и print_column_zero(&a[0]), т.е. будет передан указатель на элементы таблицы, как и для void print_column_zero(table_t *b), но с типом, который не требует разыменования. Сгенерированный код должен быть очень похож, если не идентичен.

Указатели на массивы несколько сбивают с толку и редко используются на практике. Вместо этого вы можете захотеть инкапсулировать свою таблицу в структуру:

typedef struct table_t {
    int table[4][2]; // 4 rows, 2 columns
} table_t;

table_t a = {{ { 10, 0 },    // my table
               { 20, 0 }, 
               { 30, 0 }, 
               { 40, 0 } }};

void print_column_zero(table_t *b) {
    printf("%d\n", b->table[0][0]);
    printf("%d\n", b->table[1][0]);
    printf("%d\n", b->table[2][0]);
    printf("%d\n", b->table[3][0]);
}

[...]

    printf("%d\n", a.table[0][0]);
    printf("%d\n", a.table[1][0]);
    printf("%d\n", a.table[2][0]);
    printf("%d\n", a.table[3][0]);

    print_column_zero(&a);    // same output

    table_t *b = &a;          // pointer to my table
    print_column_zero(b);     // same output again

Этот подход не добавляет никаких накладных расходов по сравнению с предыдущими, однако инкапсуляция struct позволяет добавлять связанные данные, которые могут оказаться полезными, и позволяет копировать таблицу с помощью одной операции присваивания.

Скрывать массивы (или указатели) за typedef — не лучшая идея, поскольку это усложняет чтение и поддержку программы. А баги писать проще, как вы заметили.

Проблема в том, что [] имеет более высокий приоритет оператора, чем * разыменование.

• Фактический тип b — int (*)[4][2].
• Итак, в случае *b[i][j] первый [i] разыменовывает указатель.
• Второй [j] дает нам номер массива j с типом int [2].
• * дает первый элемент в этом массиве, поскольку «распад массива» означает, что мы получаем здесь указатель на первый элемент.

Так, например, *b[0][1] даст второй массив типа int [2] и * первый элемент, 20. Не так, как ожидалось.

И очевидным решением было бы написать (*b)[0][0].

Лучшим решением было бы избавиться от typedef и объявить указатель как int (*b)[2] = a;. Это избавит вас от лишней косвенности, поскольку позволит вам вводить b[i][j].