2차원배열을 다른 함수에 전달시...

이건 안될겁니다.
array의 type이 type *이므로 array[x][y]은 (*(array + x))[y]이 되니까 허용이 안됩니다. 그렇다고 단순히 (&array[x])[y]하게 되면 *(array + x + y) 정도가 되니까 이것도 안되구요.
굳이 이차원 배열로 쓰시겠다면 ((type (*)[m])array)[x][y]으로 casting해서 쓰시거나 (&array[x * m])[y]로 계산을 해서 쓰셔야 할겁니다.
근데 뭐니뭐니해도 *(array + x*m + y) 아닌가요? 정이게 맘에 안드시면 macro하나 만드셔도 되겠지요.

C++ 을 사용한다면,

이렇게 해보는것도 꽤나 흥미롭지요...

#include <iostream>

class Dummy {
    public:
        int a;
};

template<typename T>
class ArrayType {

    private:
        T* ptr;

    public:
        const size_t length;

        ArrayType(size_t a) : length(a) {
            ptr = new T[a];
        }
        ArrayType(size_t a, size_t b) : length(a) {
            ptr = new T[a](b);
        }
        virtual ~ArrayType() {
            delete[] ptr;
        }
        T& operator[](size_t m) {
            return ptr[m];
        }

};

template<typename T>
struct Array {
    typedef ArrayType<T> D;
    typedef ArrayType<D> DD;
};

void dimensionOnePrimitive(Array<int>::D& a) {
    std::cout << a.length << std::endl;
    std::cout << a[1] << std::endl;
}

void dimensionOneObject(Array<Dummy>::D& a) {
    std::cout << a.length << std::endl;
    std::cout << a[1].a << std::endl;
}

void dimensionTwoPrimitive(Array<int>::DD& a) {
    std::cout << a.length << std::endl;
    std::cout << a[1].length << std::endl;
    std::cout << a[1][2] << std::endl;
}

void dimensionTwoObject(Array<Dummy>::DD& a) {
    std::cout << a.length << std::endl;
    std::cout << a[1].length << std::endl;
    std::cout << a[1][2].a << std::endl;
}

int main() {
    {
        Array<int>::D a(3);
        a[1] = 5;
        dimensionOnePrimitive(a);
    }
    {
        Array<Dummy>::D a(3);
        a[1].a = 5;
        dimensionOneObject(a);
    }
    {
        Array<int>::DD a(3, 4);
        a[1][2] = 5;
        dimensionTwoPrimitive(a);
    }
    {
        Array<Dummy>::DD a(3, 4);
        a[1][2].a = 5;
        dimensionTwoObject(a);
    }

    return 0;
}

결과:

3
5
3
5
3
4
5
3
4
5

지금 이 코드는 제가 진행하고 있는 자바->C++ 로 자동 변환기 프로젝트에서 자바배열을 이식하는데 사용되는 개념입니다. (스마트 포인터와 결합되어 이거보다 훨씬 더 복잡하지만...)

이 코드는 이식성이 없지도 않으며 gcc확장도 아닙니다. 코드를 잘 보시면 ArrayType을 직접 사용하는게 아닙니다. Array 를 사용하는거지요... 2차원 배열이 될때 T는 primitive가 아니라 object입니다...

template<typename T> 
struct Array { 
    typedef ArrayType<T> D; 
    typedef ArrayType<D> DD; 
};

이 부분을 잘 봐주시기 바랍니다.

ArrayType<int> a(3,4) 로 쓰면 문법에러가 나는게 정상아닌가요?

올바른 사용법은 Array<int> a(3,4) 인걸로 보여지고....

SaNha님께서도 그렇게 말씀하신거같은데......

그럼 ArrayType 클래스는 외부적으로 공개하면 안되겠군요.

근데 어떻게 에러가 안나고 잘된다는건지..모르겠네요.

템플릿이 나오면 역시 머리가 좀 아파지는군요.. :lol:

배열 형태의 new는 디폴트 생성자만을 통해 초기화됩니다.
Array<int>:: D* p = new Array<int>:: D(3);
이런 것은 가능합니다.

gcc가 그런 대로 표준을 따르는 편이긴 하지만 이에 전적으로 의존하는 것은
좀 위험합니다. 최소한 2개 이상의 컴파일러로 시험하거나, 표준을 따르는지
진지하게 고려할 상황이라면 표준문서를 참고하는 것이 가장 좋겠지요.

저 구문을 풀어서 원하는 방식대로 초기화할 수 있는 방법이 있는지는 의문입니다.
아마 구현 방법부터 달리 해야 할 듯 한데요.

저도 이에 대해서는 잘 모릅니다만 역시 gcc 문서를 봐야 하지 않을까요?