Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Two phase name lookup for C++ templates - Why?

Why does the C++ standard define two phase lookup for templates? Couldn't non dependent declarations and definitions' lookups be deferred to the instantiation stage as well?

like image 992
Xyand Avatar asked Sep 24 '12 08:09

Xyand


2 Answers

They could. This is the way most early implementations of templates worked, and is still the way the Microsoft compiler worked. It was felt (in the committee) that this was too error prone; it made it too easy to accidentally hijack a name, with the instantiation in one translation unit picking up a local name, rather than the desired global symbol. (A typical translation unit will consist of a sequence of #includes, declaring the names that everyone should see, followed by implementation code. At the point of instantiation, everything preceding the point of instantation is visible, including implementation code.)

The final decision was to classify the symbols in a template into two categories: dependent and non-dependent, and to insist that the non-dependent symbols be resolved at the point of definition of the template, to reduce the risk of them accidentally being bound to some local implementation symbols. Coupled with the requirement to specify typename and template when appropriate for dependent symbols, this also allows parsing and some error checking at the point of definition of the template, rather than only when the template is instantiated.

like image 170
James Kanze Avatar answered Sep 16 '22 12:09

James Kanze


This could be viewed as an application of separation of concerns.

At the first phase it just checks for correct syntax, and resolves non-dependent names, as explained here. At the second phase it does something more template specific, verifying if the calls are valid with the specific types. See this [answer] ( Two phase lookup - explanation needed)

Furthermore, if it would be done in only one phase, then it should be done every instantiation. This way is done only once.

If would be done only on the first instantiation, then it would be the same thing, only less structured.

like image 30
coredump Avatar answered Sep 19 '22 12:09

coredump