How can an incomplete type be used as a template parameter to vector here?

by

I think in practice this may work but from what I can tell this looks like undefined behavior. From the draft C++11 standard 17.6.4.8 [res.on.functions]:

In particular, the effects are undefined in the following cases:

[…]

  • if an incomplete type (3.9) is used as a template argument when instantiating a template component,
    unless specifically allowed for that component.

Although instantiating a template component does not seem like a well-defined term.

I came to this via LWG defect 611 which added:

unless specifically allowed for the component.

to the end of the bullet above so it now reads:

if an incomplete type (3.9) is used as a template argument when instantiating a template component, unless specifically allowed for the component.

as an exception for shared_ptr since the above quote conflicted with this quote from 20.6.6.2 [util.smartptr.shared]:

The template parameter T of shared_ptr may be an incomplete type.

Also see N4371: Minimal incomplete type support for standard containers, revision 2.

More Related Contents:

  1. C++11 introduced a standardized memory model. What does it mean? And how is it going to affect C++ programming?
  2. Optimizing away a “while(1);” in C++0x
  3. Will std::string always be null-terminated in C++11?
  4. What exactly is the “immediate context” mentioned in the C++11 Standard for which SFINAE applies?
  5. Is a moved-from vector always empty?
  6. c++ access static members using null pointer
  7. Why is modifying a string through a retrieved pointer to its data not allowed?
  8. Get pointer to object from pointer to some member
  9. So why is i = ++i + 1 well-defined in C++11?
  10. Is it legal to declare a constexpr initializer_list object?
  11. Are notes and examples in the core language specification of the C++ Standard non-normative?
  12. Why is the std::initializer_list constructor preferred when using a braced initializer list?
  13. Does this code from “The C++ Programming Language” 4th edition section 36.3.6 have well-defined behavior?
  14. Can C++ code be valid in both C++03 and C++11 but do different things?
  15. What is the value category of the operands of C++ operators when unspecified?
  16. Are int8_t and uint8_t intended to be char types?
  17. When do extra parentheses have an effect, other than on operator precedence?
  18. What is the difference between C++03 `throw()` specifier and C++11 `noexcept`?
  19. What is the purpose of a declaration like int (x); or int (x) = 10;
  20. Legal to overwrite std::string’s null terminator?
  21. Does C++11 allow dollar signs in identifiers?
  22. In which versions of the C++ standard does “(i+=10)+=10” have undefined behaviour?
  23. What expressions create xvalues?
  24. Why does the template-id in “A=0” not compile without space because of the greater-or-equal-than operator “>=”?
  25. Calling an explicit constructor with a braced-init list: ambiguous or not?
  26. Can we apply content not explicitly cited from the normative references to the C++ standard?
  27. Calling delete on NULL pointers – C++03 vs C++11
  28. Rvalues, lvalues and formal definitions
  29. What is use of the ref-qualifier `const &&`?
  30. Can using a lambda in header files violate the ODR?

Leave a Comment