Как компиляторы C++ на самом деле передают параметры ссылки?

C++ не определяет, какими должны быть реализации, это просто язык. Поэтому не существует "реализации" ссылок.

Тем не менее, ссылки реализуются с помощью указателей. Это приводит к большой путанице ("ссылки - это просто указатели", "ссылки - это просто указатели с убранными мирскими частями"), но это не так. Ссылки - это псевдонимы и всегда будут псевдонимами.

Компилятор будет передавать адрес переменной и работать с этим указателем. Это имеет тот же эффект (но не ту же семантику!). Чтобы быть более конкретным, компилятор может "заменить" this:

void make_five(int& i)
{
    i = 5;
}

int main(void)
{
    int i = 0;
    make_five(i);
}

на this:

void make_five(int* const i)
{
    *i = 5;
}

int main(void)
{
    int i = 0;
    make_five(&i);
}

(На практике такая простая функция будет инклудом, но вы поняли суть). Отсюда следует, почему ваш коллега предложил вам использовать указатель.

Помните, что ссылки предпочтительнее. Здесь важно различие между ссылками и указателями. Вы хотите присвоить переменной псевдоним или указать на нее? В большинстве случаев - первое. В языке Си для этого нужно было использовать указатель, и это способствовало распространенному заблуждению Си-программистов, что ссылки на самом деле являются указателями.

Чтобы получить аналогичную семантику (поскольку вы теперь указываете на переменную, а не псевдоним), вы должны убедиться, что значение указателя не равно null:

extern "C" void FORTRAN_ROUTINE (unsigned * flag)
{
    assert(flag); // this is normally not a problem with references, 
                  // since the address of a variable cannot be null.

    // continue...
}

На всякий случай.

Никакой разницы.

unsigned & flag

точно так же, как вы бы написали

unsigned * const flag

за исключением операторов доступа к членам объекта ("." и "->" соответственно).

Теоретически в C ++ ссылки реализуются как обычные указатели. Затем компилятор изменяет код функции tonehave как ссылка, но загружает адрес и затем косвенно перемещает адрес.

Вот небольшое приложение:

void foo( int & value )
{
    value = 3;
}


void bar( int *value )
{
    *value = 3;
}

void do_test()
{
    int i;
    foo(i);
    bar(&i);
}

Давайте соберем его и посмотрим на сгенерированную сборку gcc (gcc -s):

        .file   "test-params.cpp"
        .text
.globl _Z3fooRi
        .type   _Z3fooRi, @function
_Z3fooRi:
.LFB0:
        .cfi_startproc
        .cfi_personality 0x0,__gxx_personality_v0
        pushl   %ebp
        .cfi_def_cfa_offset 8
        movl    %esp, %ebp
        .cfi_offset 5, -8
        .cfi_def_cfa_register 5
        movl    8(%ebp), %eax
        movl    $3, (%eax)
        popl    %ebp
        ret
        .cfi_endproc
.LFE0:
        .size   _Z3fooRi, .-_Z3fooRi
.globl _Z3barPi
        .type   _Z3barPi, @function
_Z3barPi:
.LFB1:
        .cfi_startproc
        .cfi_personality 0x0,__gxx_personality_v0
        pushl   %ebp
        .cfi_def_cfa_offset 8
        movl    %esp, %ebp
        .cfi_offset 5, -8
        .cfi_def_cfa_register 5
        movl    8(%ebp), %eax
        movl    $3, (%eax)
        popl    %ebp
        ret
        .cfi_endproc
.LFE1:
        .size   _Z3barPi, .-_Z3barPi
.globl _Z7do_testv
        .type   _Z7do_testv, @function
_Z7do_testv:
.LFB2:
        .cfi_startproc
        .cfi_personality 0x0,__gxx_personality_v0
        pushl   %ebp
        .cfi_def_cfa_offset 8
        movl    %esp, %ebp
        .cfi_offset 5, -8
        .cfi_def_cfa_register 5
        subl    $20, %esp
        leal    -4(%ebp), %eax
        movl    %eax, (%esp)
        call    _Z3fooRi
        leal    -4(%ebp), %eax
        movl    %eax, (%esp)
        call    _Z3barPi
        leave
        ret
        .cfi_endproc
.LFE2:
        .size   _Z7do_testv, .-_Z7do_testv
        .ident  "GCC: (Ubuntu 4.4.3-4ubuntu5) 4.4.3"
        .section        .note.GNU-stack,"",@progbits

Как вы можете видеть, в обеих функциях компилятор читает стек ( movl 8 (% ebp),% eax ), и в обоих вызовах компилятор сохраняет адрес в стек ( leal -4 (% ebp),% eax) .

Ответ GMan - "Сохраните Unico" о декларации C может быть проблемой. Кажется, проблема в совместимости между C и fortran (по крайней мере, теми двумя компиляторами, которые вы используете).