Есть структура Car, функция возвращает на неё указатель

Делается это потому, что возвращать структуру, нормальным образом, нельзя

Это тебе не петухон, тут данные возвращаются через регистры (если быть точним, eax/rax), и поместить в регистры структуру не получится физически, а указатель вполне