issue on parashift faq section [39.14]

[Diego Martins]

http://www.parashift.com/c++-faq-lit...html#faq-39.14

--------
[39.14] Why can't I put a forward-declared class in a std::vector<>?
....
Just remember this: Whenever you use a class as a template parameter,
the declaration of that class must be complete and not simply forward
declared.
--------

is this endorsed by the standard?
AFAIK, this is dependent of the class template specification.

For example, I was able to declare vectors with incomplete types in
more than one compiler.

Diego

[Victor Bazarov]

Diego Martins wrote:

http://www.parashift.com/c++-faq-lit...html#faq-39.14

--------
[39.14] Why can't I put a forward-declared class in a std::vector<>?
...
Just remember this: Whenever you use a class as a template parameter,
the declaration of that class must be complete and not simply forward
declared.
--------

is this endorsed by the standard?

It's not explicitly specified one way or the other. However, there is
no requirement in the Standard that a template type argument be a complete
type.

AFAIK, this is dependent of the class template specification.

Yes.

For example, I was able to declare vectors with incomplete types in
more than one compiler.

I believe it all hinges on the meaning of the word "use". Unless you
are instantiating the template, the type argument can be incomplete.
When the instantiation takes place, the type is better be complete;
of course it also depends on the template implementation...

V
--
Please remove capital 'A's when replying by e-mail
I do not respond to top-posted replies, please don't ask

[Kai-Uwe Bux]

Diego Martins wrote:

http://www.parashift.com/c++-faq-lit...html#faq-39.14

--------
[39.14] Why can't I put a forward-declared class in a std::vector<>?
...
Just remember this: Whenever you use a class as a template parameter,
the declaration of that class must be complete and not simply forward
declared.
--------

is this endorsed by the standard?

In full generality, no. It is possible to design templates that produce
well-defined behavior (even desired behavior) when used with incomplete
types (of course, the type has to be complete at some point). One example
of such a template is tr1::shared_ptr<>.

AFAIK, this is dependent of the class template specification.

Right.

For example, I was able to declare vectors with incomplete types in
more than one compiler.

Now, that goes against the standard. If you use any of the standard
containers with an incomplete type, you have undefined behavior. See
[17.4.3.6, last item].
Best

Kai-Uwe Bux

[James Kanze]

On Sep 5, 9:19 pm, Diego Martins <[e-mail]:

http://www.parashift.com/c++-faq-lit...sues.html#faq-...

--------
[39.14] Why can't I put a forward-declared class in a std::vector<>?
...
Just remember this: Whenever you use a class as a template parameter,
the declaration of that class must be complete and not simply forward
declared.
--------

is this endorsed by the standard?

I'd need more context to be sure. In general, the standard only
requires a complete definition where something is instantiated
in the template which requires a complete definition. And it is
very conservative with regards to what may be instantiated. The
question, however, involves std::vector, and the standard says
very explicitly that instantiating any part of any of the
standard templates over an incomplete type is undefined
behavior.

AFAIK, this is dependent of the class template specification.

It is dependent on the specification. The specification for the
templates in the standard says that the type must be complete,
and that it is undefined behavior otherwise.

For example, I was able to declare vectors with incomplete
types in more than one compiler.

It's undefined behavior. It might work. Sometimes. (It will
fail to compile with recent versions of g++, at least if the
usual options are given.)

--
James Kanze (GABI Software) email:ja*********@gmail.com
Conseils en informatique orientée objet/
Beratung in objektorientierter Datenverarbeitung
9 place Sémard, 78210 St.-Cyr-l'École, France, [phone]