関数内でメモリ確保後に、呼び出し元から確保したメモリが参照できません。

Question

初歩的な質問で申し訳ないですが、わかる方教えてください。

関数A内でメモリを確保し、確保したメモリの情報を引数のポインタに返したいです。

関数A呼び出し元の関数B内では、ポインタunsigned char *pを定義します。
unsigned char *pを何か格納しておかないと関数Aを呼び出せないため、*p = NULLとします。

その後関数A内で newでpにメモリを確保したのちに処理を終了すると、関数B内で定義したpがNULLのままとなっております。
これは何が原因と考えられますか？

お手数おかけしますが、よろしくお願いいたします。

Comments

[maisumakun]

失敗したコードを書いていただけますか？（書かれた日本語と動作の違うコードを書いてしまっていることも考えられます）

[maisumakun]

たとえば、「*p = NULLとします。 」が、「unsigned char * p = NULL;」と書いたのか、「unsigned char * p; *p = NULL;」なのか、文章だけでははっきりしません。

[kamingout]

説明が不足しており申し訳ございません。
unsigned char * p = NULL;
A(p);

void A(unsigned char *p)
unsigned char *test = new unsigned char[100];
p = test;

になります。
何がいけないのでしょうか？

Answer 1

こんにちは。

C++の引数の渡し方は分かりにくいのですが、「参照」を除いて値渡しと理解するのが良いです。
C言語は完全に全て値渡しです。C言語でも使える渡し方は値渡しと理解するのも手です。

さて、ポインタはC言語でも渡せますので、文法的には「値渡し」です。（意味的には「参照渡し」でもあるのでややこしいのですが。厳密な話しをするため今は狭い意味で文法にのみ着目下さい。）
ポインタの値は何かというと「アドレス」です。「質問への追記・修正」欄のソースの場合、test に設定されたアドレスが ポインタ変数testの値です。
関数A()が呼ばれた時、ポインタ型変数p（値はNULL）が値渡しされ、ポインタ型仮引数pへ値渡し（＝コピー）されます。
仮引数pにはtestのアドレスが設定されますが、これは変数pがコピーされたものですのでtestのアドレスは変数pへは影響しません。つまり、返却されません。

例えば下記のように書くことができます。

void A(unsigned char **p)
{
    // todo: pがNULLでないことをチェックする

    unsigned char *test = new unsigned char[100];
    *p = test;
}

int main()
{
    unsigned char * p = NULL;
    A(&p);
    delete[] p;
}

もう一つC++らしい書き方としては以下のような方法もありますが、なかなか理解し辛いですので、微妙です。

void A(unsigned char*& p)
{
    unsigned char *test = new unsigned char[100];
    p = test;
}

int main()
{
    unsigned char * p = NULL;
    A(p);
    delete[] p;
}

仮引数pは、unsigned char*への参照です。

Answer 2

何がいけないのでしょうか？

引数のpはchar *型なので、pを変更しても呼び出し元へは変更した結果は戻りません。
引数char **pとして呼び出し元では、A(&p)としてアドレスを渡してください。

こういう事？

void foo(char* p){
    char *mem;
    mem = (char *)malloc(sizeof(char)*100);
    p=mem;
}

void main (void){
    char *str=null;
    foo(&str);
    if (str == null) {
		printf("str == null\n");
    } else {
		printf("str != null\n");
    }
}

こうしないとだめだよ

void foo(char** p){
    char *mem;
    mem = (char *)malloc(sizeof(char)*100);
    *p=mem;
}

void main (void){
    char *str=null;
    foo(str);
    if (str == null) {
		printf("str == null\n");
    } else {
		printf("str != null\n");
    }
}