Разница между предварительным объявлением в аргументе и «нормальным» предварительным объявлением

Question

В чем, если есть, разница между предварительным объявлением в (шаблонном) аргументе (с использованием детализированного спецификатора типа ) и "обычным" предварительным объявлением?

void foo(struct bar *);

// vs

struct bar;
void foo(bar *);

// ------ and also -------

std::unique_ptr<class Baz> one;

// vs

class Baz;
std::unique_ptr<Baz> two;

Answer 1

Давайте начнем с того, что отметим, что «предварительное объявление» - это разговорный термин, используемый для обозначения определенного общего практического использования определенных видов объявлений. В отношении стандарта C ++ не существует такой вещи, как предварительное объявление. Есть только декларации.

Имея это в виду, я считаю, что нет никакой разницы между

void foo(struct bar *);

и

struct bar;

, насколько они влияют на имя bar обеспокоено. Оба объявления в конечном итоге вводят имя структуры bar, если не существует предыдущего объявления, которое уже сделало это.

Соответствующий абзац в C ++ 17, по-видимому, будет [basi c .lookup.elab] / 2 (выделено мной):

Если описатель сложного типа *1019* введен ключом класса и этот поиск не находит ранее объявленное имя-типа , или […] уточненный-спецификатор типа - это объявление, которое вводит имя-класса как описано в [basi c .scope.pdecl].

Если уточненный спецификатор типа , который не содержит nested-name-спецификатор встречается, поиск по неквалифицированному имени выполняется, чтобы видеть, называет ли имя уже соответствующий тип. Если ранее объявленное имя не найдено, то подробный спецификатор типа становится объявлением типа класса этого имени…

Как указывает geza, единственный способ, которым может быть разница связана с областью, в которой вводится имя. В то время как

struct bar;

всегда вводит имя в область, в которой появляется объявление, подробный спецификатор типа , появляющийся как часть любого другого вида объявления, вводит имя в Ближайшее окружающее пространство имен [basi c .scope.pdecl] / 7 .

Answer 2

Разница может быть в объеме введенной декларации. В случае разработанного спецификатора типа, объявление вводится в ближайшее пространство имен, и это может иметь значение.

Например:

struct Foo {
      void fn(struct Bar *);
};

Здесь Bar объявлено в глобальное пространство имен, не в Foo.

Answer 3

Если вы заранее не объявите struct bar;, тогда struct bar может ссылаться на имя типа, объявленное во внешней области видимости (которое может быть из совершенно другой библиотеки). Например:

class bar {};
// ...
namespace ns {
    void foo(struct bar *);
}

^ Здесь параметр foo является указателем на класс bar в глобальной области видимости.

class bar {};
// ...
namespace ns {
    struct bar;
    void foo(bar *);
}

^ Здесь параметр foo равен указатель на ns::bar.