Стилистические Войны программистов⁠⁠

В случае с "Dog* a, b" можно подумать что и a и b являются Dog*, хотя это совсем не так. Здесь a это Dog*, а b просто Dog. Чтобы и a и b были Dog* надо написать Dog *a, *b. Как-то не слишком понятно получилось

Просто звездочка относится к переменной, а не к типу, как и амперсанд, так что логика в этом есть:

int a, *b, **с, &d, &&e;

a - переменная типа int

b - указатель на int

c - указатель на указатель на int

d - ссылка на int

e - rvalue ссылка на int

и т.п.

Это не значит, естественно, что так писать правильнее или неправильнее. Если один пишешь - пиши как тебе нравится, если в команде - то так, как принято в команде.

Подчеркивается семантика, что dog - это указатель на объект Dog. Но непонятно тогда, как писать, когда из функции возвращается указатель (имени указателя нет в явном виде).

Dog *dog;
Dog* getMyDog(); // ???