throw catch 에 관해서,

스마트포인터는 일종의 '방법'을 일컫는 용어지요.. c++의 객체가 자기 존속범위가 끝나면 자동으로 삭제되면서 소멸자가 호출되는 특성과, reference count 를 이용하여 GC를 구현하는..물론, thread safe, STL 에서 까다롭게 다뤄져야하고 특히 자바의 프레임웍을 구현해낼려면 Object, Array template클래스와 더불어 꽤 복잡게 서로 교묘하게 define되어야 합니다만...

SmartPointer<Class> 는 스마트포인터를 구현한 템플릿클래스이며, 이걸 던지는것은 지금 문제의 핵심과 무관하구요... "스마트포인터를 던진다" 는것은 잘못된 표현이며 "스마트포인터 클래스의 포인터를 던진다"가 맞는 표현이겠지요. 또한 여기서 제가 하고자하는것은 클래스포인터를 던지고 그 클래스를 타입으로 갖는 스마트포인터 클래스에서 생성자의인자로 받으면서 catch할려고하는거지요.

템플릿클래스이던 아니던 상관없구요.. 단지 포인터를 던지고, "그 포인터를 인-자로 받는 생성자가 있는 클래스"로 받을때.. (explict하게 선언하지 않았다면 이건 정당한 방법이니깐요. ClassA* a = new ClassA; ClassB b = a; 가 되는것처럼이죠...) 문법상 하자가 없기땜에 컴파일은 되는데 실행시 오류가나죠. 이건 throw 시의 메모리 메카니즘과 관련있을것같은데... throw는 auto 메모리에 객체를 만들어놓고 레퍼런스를 던지거든요. 그리고 catch가 되면 사라지죠.. 때문에 Class a; throw a; 하면 복사생성자가 호출안될것 같지만, 호출되거든요. 즉 a의 레퍼런스가 throw 된다기보담 a의 복사생성자로 생성되는 객체를 auto 메모리에 올려놓고 그놈의 레퍼런스를 던지죠.. new로 던지는 포인터는 어떻게 되는지 잘모르겠네요. 포인터 값을 auto 메모리에 올리고 *&를 던지는게 아닌가 싶은데..그렇다고 해서 왜 에러가날까 싶네요. 여튼 뭔가 잘 ...정의해보면 될것같기도해서 말이죠... 아니면 컴파일시의 옵션을 어케 하면 될련가싶기도하고. 절대 안되는것 같기도 하네요.

클래스 static member는 그대로 사용되죠. 자바에서 A.MEMBER 라면 C++에선 A::MEMBER로 바꿔지죠.. 브루는, ARM기반이고.. arm compiler로는 C++의 모든 스펙을 다 사용할순없습니다. arm compiler는 embed c++ specification이구요. 여긴 ANSI C++의 몇가지가 빠져있습니다. GCC cross compile을 하여야 하고. 환경을 만들어야 합니다. 브루 헤더도 몇개는 수정을 좀 해야하구요. 준비는 좀 까다롭죠. 브루 포럼(영어포럼)에서 gcc 로 찾아보면 꽤 나옵니다..

음..에러메세지라고 해봤자..

Aborted (core dumped)

이것뿐.

#include <iostream>

class Exception {};

class T {
    public:
        T(Exception* e) {}
};

void throwException() {
    throw new Exception();
}

int main() {
    try {
        throwException();
    } catch (T e) {
        std::cout << "Catch exception" << std::endl;
    }

    return 0;
}

물론, 이런식으로 사용은 되지만 첫번째에 장황하게 밝힌이유로 이런식은 아무 필요없는거구요..

#include <iostream>

class Exception {
    public:
        int b;
        Exception(int a) : b(a) {}
};

class T {
    public:
        T(Exception* e) {}
};

void throwException() {
    throw new Exception(5);
}

int main() {
    try {
        throwException();
    } catch (T* e) {
        std::cout << "Catch exception : " << e->b << std::endl;
        delete e;
    }

    return 0;
}

제가 위에 장황하게 설명을 해놨는데, 잘못 이해하고 계신듯...

#include <iostream>

using namespace std;

class Exception {
    public:
        int a;
        Exception(int b) : a(b) {
            cout << "create exception" << endl;
        }
        ~Exception() {
            cout << "delete exception" << endl;
        }
};

class T {
    public:
        Exception* a;
        T(Exception* e) : a(e) {
            cout << "T constructor" << endl;
        }
};

void throwException() {
    throw new Exception(5);
}

void testMethod(T e) {
    cout << "Test method" << endl;
    cout << e.a->a << endl;
}

int main() {
    testMethod(new Exception(5));
    try {
        throwException();
    } catch (Exception* e) {
        cout << "Catch exception1" << endl;
        cout << e->a << endl;
        delete e;
    }
    try {
        throwException();
    } catch (T e) {
        cout << "Catch exception2" << endl;
        cout << e.a->a << endl;
    }

    return 0;
}

실행결과

create exception
T constructor
Test method
5
create exception
Catch exception1
5
delete exception
create exception
Aborted (core dumped)

그리고, 디폴트생성자가 없어도 생성자를 explicit로 선언하지 않는이상 assign type이 인자로 들어갑니다..

아예. 두번째 예시는 여기서 바로 작성해서 실수를 했네요. 그 밑의 글을 봐주세요.

맨 윗글에, 제 질문의 의도를 적어놓았는데 계속 핵심을 잘못 이해하고 계신듯하네요.

제가 궁금한것은...

포인터를 throw한것을 어떻게 catch 합니까?

가 아니라

throw 한 포인터를, 그 포인터를 인자로 하는 생성자가 있는 클래스에서 받으면 객체생성되면서 인자로 드감으로 컴파일은 되는데 실행시 오류가나니, 어떻게 오류안나게 가능할까요?

하는것이랍니다...

왜 그렇게 이상하게 할려고 하느냐? 는..맨윗글에 소상하게 적어놓았구요..

예..말씀하신대로 C99의 정석이겠지요.

저도 안될거라고 생각은 하지만 - 사실 위배된다면 컴파일에서 에러가 나야된다고 봅니다.. - 꼼수내지는 컴파일옵션이나 기타 어떠한 테크닉으로 혹시 가능하게 할 방법이 없을까 싶어서 질문을 올려봤네요.

'뭔가 잘하면 될듯' 하기도 해서 말이지요.

왜냐면, 말씀하신 부분은 일종의 '규약'이고 'Specification' 이므로 컴파일시 오류가 나야하는것인데, 컴파일이 되므로 실행시 'Memory'와 관련된다고 봐집니다. throw할때의 메모리 드리블링과 관련이 있다면 어떤 테크닉으로 (꼼수에 가깝겠군요) 가능하게 할수도 있지 않을까 싶어서..사실 웬만한 변형은 다 가해봤거든요. 안된다고 결론은 내리고 있지만, 혹시 또 모르니..

예.. 아무래도 그렇게는 catch 할 수가 없겠네요.

시간내서 답변달아주셔서 정말 감사합니다.

제가 두가지 착각을 하고 있었네요.

첫째는, 함수호출 시에는 포인터를 넘기고, 그것을 인자로 하는 생성자가 있는 클래스로 받아지기때문에 같은식으로 catch를 작성하고 컴파일이 되었기때문에 예외가 catch구문에서 '잡혔다' 고 착각했었던것이고

둘째는, 그렇게 컴파일이 되고 catch되었는데 실행시 Aboarted (core dumped) 나버리니깐 그것이 '에러메세지' 라고 생각했었던 것이네요.

그래서 어떻게 꼼수를 내보면 혹 되는 방법도 존재하지 않을까 궁금했었네요..

결론은, catch에서 잡힌게 아니라 핸들러가 맞지 않으므로 pass 된것이고 결국 예외를 잡는 구문이 없으므로 Aborted 된것이니 '실행 오류' 라고 볼수도 없는것이군요.