Can the point-of-instantiation be delayed until the end of the translation unit?

by

Core Working Group defect report 993 was created to address this issue:

993. Freedom to perform instantiation at the end of the translation unit

Section: 14.6.4.1 [temp.point] Status: C++11 Submitter: John Spicer Date: 6 March, 2009
[Voted into the WP at the March, 2011 meeting.]

The intent is that it is a permissible implementation technique to do template instantiation at the end of a translation unit rather than at an actual point of instantiation. This idea is not reflected in the current rules, however.

Proposed resolution (January, 2011):

Change 14.6.4.1 [temp.point] paragraph 7 as follows:

A specialization for a function template, a member function template, or of a member function or static data member of a class template may have multiple points of instantiations within a translation unit, and in addition to the points of instantiation described above, for any such specialization that has a point of instantiation within the translation unit, the end of the translation unit is also considered a point of instantiation. A specialization for a class template…

Paragraph 14.6.4.1/7 in C++11 is 14.6.4.1/8 in N3936:

A specialization for a function template, a member function template, or of a member function or static
data member of a class template may have multiple points of instantiations within a translation unit, and
in addition to the points of instantiation described above, for any such specialization that has a point
of instantiation within the translation unit, the end of the translation unit is also considered a point of
instantiation. A specialization for a class template has at most one point of instantiation within a translation
unit. A specialization for any template may have points of instantiation in multiple translation units. If
two different points of instantiation give a template specialization different meanings according to the one
definition rule (3.2), the program is ill-formed, no diagnostic required.

So yes, it is allowable for implementations to delay the point of instantiation of templates to the end of the translation unit.

More Related Contents:

  1. What exactly is the “immediate context” mentioned in the C++11 Standard for which SFINAE applies?
  2. Matching alias template as template argument
  3. Why does the template-id in “A=0” not compile without space because of the greater-or-equal-than operator “>=”?
  4. Optimization code for a debug function (c++11 with templates) [closed]
  5. Check if a class has a member function of a given signature
  6. std::enable_if to conditionally compile a member function
  7. A positive lambda: ‘+[]{}’ – What sorcery is this? [duplicate]
  8. Why would the behavior of std::memcpy be undefined for objects that are not TriviallyCopyable?
  9. What is the partial ordering procedure in template deduction
  10. C++11: I can go from multiple args to tuple, but can I go from tuple to multiple args? [duplicate]
  11. Do I really need to implement user-provided constructor for const objects?
  12. What does this variadic template code do?
  13. SFINAE works differently in cases of type and non-type template parameters
  14. Can class template constructors have a redundant template parameter list in c++20
  15. Is std::abs(0u) ill-formed?
  16. Why does the standard differentiate between direct-list-initialization and copy-list-initialization?
  17. When instantiating a template, should members of its incomplete argument types be visible?
  18. Default template argument when using std::enable_if as templ. param.: why OK with two template functions that differ only in the enable_if parameter?
  19. How can an incomplete type be used as a template parameter to vector here?
  20. How to pass a template function in a template argument list
  21. Is the Empty Base Class Optimization now a mandatory optimization (at least for standard-layout classes)?
  22. Classes with both template and non-template conversion operators in the condition of switch statement
  23. Why the initializer of std::function has to be CopyConstructible?
  24. Interfacing C++11 array with Cython
  25. reinterpret_cast between char* and std::uint8_t* – safe?
  26. Does C++11 change the behavior of explicitly calling std::swap to ensure ADL-located swap’s are found, like boost::swap?
  27. Partial specialization of function templates
  28. Will I be able to declare a constexpr lambda inside a template parameter?
  29. Dynamic dispatching of template functions?
  30. C++11 cross compiler/standard library random distribution reproducibility

Leave a Comment