
Steven Watanabe wrote:
AMDG
John Torjo wrote:
14.6.4.2 "For the part of the lookup using associated namespaces (3.4.2), only function declarations with external linkage found in either the template definition context or *the template instantiation context *are found."
That to me sounds like a bug in como.
Note that this section is talking about associated namespaces, aka Argument Dependent Lookup. What the reference to the template instantiation context means, is that the compiler will find the declarations of functions *From namespaces associated with the argument types* as long as those declarations exist either
a) At the point when the template is defined. b) At the point the template is instantiated.
Although in practice (b) is a superset of (a), in theory these two sets of declarations are distinct because of export.
Yup, you're right - there is a solution, the 5th comment on : https://www.blogger.com/comment.g?blogID=699828515576400912&postID=4064173770571925791 I will implement it after the review. Best, John -- http://John.Torjo.com -- C++ expert http://blog.torjo.com ... call me only if you want things done right