Длинный двойной в C

Попробуйте взглянуть на соглашение о вызовах varargs в OSX, это может объяснить это.

Я предполагаю, что компилятор передает первый параметр long double в стеке (или в регистре FPU) и первый параметр double в регистрах ЦП (или в стеке). Так или иначе, они проходят в разных местах. Таким образом, когда выполняется третий вызов, значение из второго вызова все еще лежит без дела (и вызываемый объект подбирает его). Но это всего лишь предположение.

Функция printf() C Standard Library является примером вариационная функция, которая может принимать разное количество аргументов. В соответствии с тем, как это реализовано в языке C, вызываемая функция должна знать, какой тип аргументов и в каком порядке был передан, чтобы она могла правильно их интерпретировать. Вот почему вы передаете строку формата, чтобы printf() мог правильно понять данные, которые он должен напечатать.

Если функция с переменным числом аргументов неправильно интерпретирует переданные ей аргументы, стандарт C указывает, что поведение не определено, то есть может произойти что угодно (пункт 4.8.1.2 стандарта C89). В вашем случае, когда вы передаете несоответствующие форматы и значения printf(), это то, что происходит. Однако, если у вас есть достойный компилятор и ваши уровни предупреждений оказались чем-то разумным, вы должны быть предупреждены об этом во время компиляции. Например, на Cygwin я получаю:

$ make go
cc -g -W -Wall -Wwrite-strings -ansi -pedantic    go.c   -o go
go.c: In function `main':
go.c:10: warning: double format, long double arg (arg 2)
go.c:10: warning: double format, long double arg (arg 3)
go.c:10: warning: double format, long double arg (arg 2)
go.c:10: warning: double format, long double arg (arg 3)
$ 

Что касается того, почему вы получаете именно то, что видите, это будет зависеть от конкретной реализации. На практике, скорее всего, произойдет то, что ваша конкретная реализация printf() интерпретирует первую половину вашего long double как double и печатает значение, соответствующее этому конкретному битовому шаблону. Однако, как говорится в стандарте, он может делать все, что захочет.

Используйте спецификатор как %LF для long double вместо %lf или %f. %LF всегда имеет другое значение, чем %lf.

#include <stdio.h>
int main(void)
{
    float aboat = 32000.0;
    double abet = 2.14e9;
    long double  dip = 5.32e-5L;

    printf("%f can be written %e\n", aboat, aboat);
    printf("%f can be written %e\n", abet, abet);
    printf("%LF can be written %LE\n", dip, dip);

    return 0;
}

Вывод:

32000.000000 can be written 3.200000e+04
2140000000.000000 can be written 2.140000e+09
0.000053 can be written 5.320000E-05

Возможно, 64-битный ABI отличается таким образом, что printf ищет аргументы %f в совершенно другом месте, чем аргументы %LF.

Попробуйте посмотреть выходные данные сборки (gcc -S), чтобы убедиться, что это правда.

Я читаю C Primer Plus, как и вы, я заметил то же самое. Посмотрите, как я изменил спецификаторы формата для третьего оператора printf.

#include <stdio.h>
#include <inttypes.h>

int main(void){

    float aboat = 320000.0;
    double abet = 2.214e9;
    long double dip = 5.32e-5;

    printf("%f can be written %e\n", aboat, aboat);
    printf("%f can be written %e\n", abet, abet);
    printf("%Lf can be written %Le\n", dip, dip);

    return 0;
}

Результаты после изменения спецификаторов формата

320000.000000 can be written 3.200000e+05
2214000000.000000 can be written 2.214000e+09
0.000053 can be written 5.320000e-05