Generic lambda vs generic function give different behaviour












13















Take following code as an example



#include <algorithm>



namespace baz {

    template<class T>

    void sort(T&&){}

}



namespace boot {

    const auto sort = (auto &&){};

}



void foo (){

    using namespace std;

    using namespace baz;

    sort(1);

}



void bar(){

    using namespace std;

    using namespace boot;

    sort(1);

}


I expected that since foo compiled, then bar shall compile as well. To my surprise, the foo compiles correctly and bar has problem with ambiguous call to sort function. Am I doing something illegal here or this is proper way compiler should behave? If so, why is it so different. I though generic lambda can be treated as syntactic sugar for generic function.



live example






c++ lambda c++14







share|improve this question




















  • 5





    Lambdas do not participate in ADL

    – Guillaume Racicot
    12 hours ago






  • 8





    This isn't ADL. An int argument doesn't come from any namespace.

    – chris
    12 hours ago






  • 4





    Should this really be ambiguous, though? std::sort() doesn't take 1 parameter as input, it takes at least 2, so why is the compiler even considering it as a candidate for a call that passes only 1 parameter value?

    – Remy Lebeau
    12 hours ago













  • There must be something about the extra layer of indirection that the lambda introduces. With the first example, the call is made to ::baz::sort, but in the second example, it would have to find ::boot::mystery_lambda_type::operator(). That extra step might be what causes std::sort to be considered first. I don't have the standard in front of me so can't be sure about this.

    – alter igel
    12 hours ago
















13















Take following code as an example



#include <algorithm>



namespace baz {

    template<class T>

    void sort(T&&){}

}



namespace boot {

    const auto sort = (auto &&){};

}



void foo (){

    using namespace std;

    using namespace baz;

    sort(1);

}



void bar(){

    using namespace std;

    using namespace boot;

    sort(1);

}


I expected that since foo compiled, then bar shall compile as well. To my surprise, the foo compiles correctly and bar has problem with ambiguous call to sort function. Am I doing something illegal here or this is proper way compiler should behave? If so, why is it so different. I though generic lambda can be treated as syntactic sugar for generic function.



live example






c++ lambda c++14







share|improve this question




















  • 5





    Lambdas do not participate in ADL

    – Guillaume Racicot
    12 hours ago






  • 8





    This isn't ADL. An int argument doesn't come from any namespace.

    – chris
    12 hours ago






  • 4





    Should this really be ambiguous, though? std::sort() doesn't take 1 parameter as input, it takes at least 2, so why is the compiler even considering it as a candidate for a call that passes only 1 parameter value?

    – Remy Lebeau
    12 hours ago













  • There must be something about the extra layer of indirection that the lambda introduces. With the first example, the call is made to ::baz::sort, but in the second example, it would have to find ::boot::mystery_lambda_type::operator(). That extra step might be what causes std::sort to be considered first. I don't have the standard in front of me so can't be sure about this.

    – alter igel
    12 hours ago














13












13








13


1






Take following code as an example



#include <algorithm>



namespace baz {

    template<class T>

    void sort(T&&){}

}



namespace boot {

    const auto sort = (auto &&){};

}



void foo (){

    using namespace std;

    using namespace baz;

    sort(1);

}



void bar(){

    using namespace std;

    using namespace boot;

    sort(1);

}


I expected that since foo compiled, then bar shall compile as well. To my surprise, the foo compiles correctly and bar has problem with ambiguous call to sort function. Am I doing something illegal here or this is proper way compiler should behave? If so, why is it so different. I though generic lambda can be treated as syntactic sugar for generic function.



live example






c++ lambda c++14







share|improve this question
















Take following code as an example



#include <algorithm>



namespace baz {

    template<class T>

    void sort(T&&){}

}



namespace boot {

    const auto sort = (auto &&){};

}



void foo (){

    using namespace std;

    using namespace baz;

    sort(1);

}



void bar(){

    using namespace std;

    using namespace boot;

    sort(1);

}


I expected that since foo compiled, then bar shall compile as well. To my surprise, the foo compiles correctly and bar has problem with ambiguous call to sort function. Am I doing something illegal here or this is proper way compiler should behave? If so, why is it so different. I though generic lambda can be treated as syntactic sugar for generic function.



live example






c++ lambda c++14




c++ lambda c++14






share|improve this question















share|improve this question













share|improve this question




share|improve this question








edited 12 hours ago







bartop

















asked 12 hours ago









bartopbartop

3,2551031




3,2551031








  • 5





    Lambdas do not participate in ADL

    – Guillaume Racicot
    12 hours ago






  • 8





    This isn't ADL. An int argument doesn't come from any namespace.

    – chris
    12 hours ago






  • 4





    Should this really be ambiguous, though? std::sort() doesn't take 1 parameter as input, it takes at least 2, so why is the compiler even considering it as a candidate for a call that passes only 1 parameter value?

    – Remy Lebeau
    12 hours ago













  • There must be something about the extra layer of indirection that the lambda introduces. With the first example, the call is made to ::baz::sort, but in the second example, it would have to find ::boot::mystery_lambda_type::operator(). That extra step might be what causes std::sort to be considered first. I don't have the standard in front of me so can't be sure about this.

    – alter igel
    12 hours ago














  • 5





    Lambdas do not participate in ADL

    – Guillaume Racicot
    12 hours ago






  • 8





    This isn't ADL. An int argument doesn't come from any namespace.

    – chris
    12 hours ago






  • 4





    Should this really be ambiguous, though? std::sort() doesn't take 1 parameter as input, it takes at least 2, so why is the compiler even considering it as a candidate for a call that passes only 1 parameter value?

    – Remy Lebeau
    12 hours ago













  • There must be something about the extra layer of indirection that the lambda introduces. With the first example, the call is made to ::baz::sort, but in the second example, it would have to find ::boot::mystery_lambda_type::operator(). That extra step might be what causes std::sort to be considered first. I don't have the standard in front of me so can't be sure about this.

    – alter igel
    12 hours ago








5




5





Lambdas do not participate in ADL

– Guillaume Racicot
12 hours ago





Lambdas do not participate in ADL

– Guillaume Racicot
12 hours ago




8




8





This isn't ADL. An int argument doesn't come from any namespace.

– chris
12 hours ago





This isn't ADL. An int argument doesn't come from any namespace.

– chris
12 hours ago




4




4





Should this really be ambiguous, though? std::sort() doesn't take 1 parameter as input, it takes at least 2, so why is the compiler even considering it as a candidate for a call that passes only 1 parameter value?

– Remy Lebeau
12 hours ago







Should this really be ambiguous, though? std::sort() doesn't take 1 parameter as input, it takes at least 2, so why is the compiler even considering it as a candidate for a call that passes only 1 parameter value?

– Remy Lebeau
12 hours ago















There must be something about the extra layer of indirection that the lambda introduces. With the first example, the call is made to ::baz::sort, but in the second example, it would have to find ::boot::mystery_lambda_type::operator(). That extra step might be what causes std::sort to be considered first. I don't have the standard in front of me so can't be sure about this.

– alter igel
12 hours ago





There must be something about the extra layer of indirection that the lambda introduces. With the first example, the call is made to ::baz::sort, but in the second example, it would have to find ::boot::mystery_lambda_type::operator(). That extra step might be what causes std::sort to be considered first. I don't have the standard in front of me so can't be sure about this.

– alter igel
12 hours ago












1 Answer
1






active

oldest

votes


















13














The problem here is not that the call to sort is ambiguous, but that the name sort is ambiguous. Name lookup happens before overload resolution.



I believe the relevant section is [basic.lookup]/1, specifically




[…] The declarations found by name lookup shall either all denote the same entity or shall all denote functions or function templates; in the latter case, the declarations are said to form a set of overloaded functions ([over.load]). […]




In your case, the name sort denotes both, the object boot::sort as well as the set of overloaded functions std::sort. Therefore, name lookup fails.



Your code is really no different from if you had written, for example



namespace baz {

    int a;

}



namespace boot {

    int a;

}



void foo() {

    using namespace baz;

    using namespace boot;

    a = 42;  // error: reference to 'a' is ambiguous

}


Try it out here; compare this to a case that actually has an ambiguous function call; note how the error message is the same as in your case, specifically referring to the name itself being ambiguous rather than the function call.






share|improve this answer





















  • 1





    I think this is actually the right answer. And I would like to add that if both the template function sort and the lambda sort were declared in the same namespace, it would be an error. You cannot have a function and non-function with the same name in the same namespace. So there could never be an overload set that has both true functions and function-like objects.

    – Mike
    10 hours ago











  • Seems like a right answet to me. If there is something that can be done to workaround my problem I would be thankful for comment/answer edit.

    – bartop
    4 hours ago






  • 1





    @Scheff indeed, I must've mixed up the URLs somehow. Should be fixed now. Thanks for pointing that out!

    – Michael Kenzel
    1 hour ago













  • @bartop can you not just remove the using directives and/or use fully-qualified names, e.g., baz::sort!?

    – Michael Kenzel
    5 mins ago













Your Answer






StackExchange.ifUsing("editor", function () {
StackExchange.using("externalEditor", function () {
StackExchange.using("snippets", function () {
StackExchange.snippets.init();
});
});
}, "code-snippets");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "1"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f55367269%2fgeneric-lambda-vs-generic-function-give-different-behaviour%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









13














The problem here is not that the call to sort is ambiguous, but that the name sort is ambiguous. Name lookup happens before overload resolution.



I believe the relevant section is [basic.lookup]/1, specifically




[…] The declarations found by name lookup shall either all denote the same entity or shall all denote functions or function templates; in the latter case, the declarations are said to form a set of overloaded functions ([over.load]). […]




In your case, the name sort denotes both, the object boot::sort as well as the set of overloaded functions std::sort. Therefore, name lookup fails.



Your code is really no different from if you had written, for example



namespace baz {

    int a;

}



namespace boot {

    int a;

}



void foo() {

    using namespace baz;

    using namespace boot;

    a = 42;  // error: reference to 'a' is ambiguous

}


Try it out here; compare this to a case that actually has an ambiguous function call; note how the error message is the same as in your case, specifically referring to the name itself being ambiguous rather than the function call.






share|improve this answer





















  • 1





    I think this is actually the right answer. And I would like to add that if both the template function sort and the lambda sort were declared in the same namespace, it would be an error. You cannot have a function and non-function with the same name in the same namespace. So there could never be an overload set that has both true functions and function-like objects.

    – Mike
    10 hours ago











  • Seems like a right answet to me. If there is something that can be done to workaround my problem I would be thankful for comment/answer edit.

    – bartop
    4 hours ago






  • 1





    @Scheff indeed, I must've mixed up the URLs somehow. Should be fixed now. Thanks for pointing that out!

    – Michael Kenzel
    1 hour ago













  • @bartop can you not just remove the using directives and/or use fully-qualified names, e.g., baz::sort!?

    – Michael Kenzel
    5 mins ago


















13














The problem here is not that the call to sort is ambiguous, but that the name sort is ambiguous. Name lookup happens before overload resolution.



I believe the relevant section is [basic.lookup]/1, specifically




[…] The declarations found by name lookup shall either all denote the same entity or shall all denote functions or function templates; in the latter case, the declarations are said to form a set of overloaded functions ([over.load]). […]




In your case, the name sort denotes both, the object boot::sort as well as the set of overloaded functions std::sort. Therefore, name lookup fails.



Your code is really no different from if you had written, for example



namespace baz {

    int a;

}



namespace boot {

    int a;

}



void foo() {

    using namespace baz;

    using namespace boot;

    a = 42;  // error: reference to 'a' is ambiguous

}


Try it out here; compare this to a case that actually has an ambiguous function call; note how the error message is the same as in your case, specifically referring to the name itself being ambiguous rather than the function call.






share|improve this answer





















  • 1





    I think this is actually the right answer. And I would like to add that if both the template function sort and the lambda sort were declared in the same namespace, it would be an error. You cannot have a function and non-function with the same name in the same namespace. So there could never be an overload set that has both true functions and function-like objects.

    – Mike
    10 hours ago











  • Seems like a right answet to me. If there is something that can be done to workaround my problem I would be thankful for comment/answer edit.

    – bartop
    4 hours ago






  • 1





    @Scheff indeed, I must've mixed up the URLs somehow. Should be fixed now. Thanks for pointing that out!

    – Michael Kenzel
    1 hour ago













  • @bartop can you not just remove the using directives and/or use fully-qualified names, e.g., baz::sort!?

    – Michael Kenzel
    5 mins ago
















13












13








13







The problem here is not that the call to sort is ambiguous, but that the name sort is ambiguous. Name lookup happens before overload resolution.



I believe the relevant section is [basic.lookup]/1, specifically




[…] The declarations found by name lookup shall either all denote the same entity or shall all denote functions or function templates; in the latter case, the declarations are said to form a set of overloaded functions ([over.load]). […]




In your case, the name sort denotes both, the object boot::sort as well as the set of overloaded functions std::sort. Therefore, name lookup fails.



Your code is really no different from if you had written, for example



namespace baz {

    int a;

}



namespace boot {

    int a;

}



void foo() {

    using namespace baz;

    using namespace boot;

    a = 42;  // error: reference to 'a' is ambiguous

}


Try it out here; compare this to a case that actually has an ambiguous function call; note how the error message is the same as in your case, specifically referring to the name itself being ambiguous rather than the function call.






share|improve this answer















The problem here is not that the call to sort is ambiguous, but that the name sort is ambiguous. Name lookup happens before overload resolution.



I believe the relevant section is [basic.lookup]/1, specifically




[…] The declarations found by name lookup shall either all denote the same entity or shall all denote functions or function templates; in the latter case, the declarations are said to form a set of overloaded functions ([over.load]). […]




In your case, the name sort denotes both, the object boot::sort as well as the set of overloaded functions std::sort. Therefore, name lookup fails.



Your code is really no different from if you had written, for example



namespace baz {

    int a;

}



namespace boot {

    int a;

}



void foo() {

    using namespace baz;

    using namespace boot;

    a = 42;  // error: reference to 'a' is ambiguous

}


Try it out here; compare this to a case that actually has an ambiguous function call; note how the error message is the same as in your case, specifically referring to the name itself being ambiguous rather than the function call.







share|improve this answer














share|improve this answer



share|improve this answer








edited 1 hour ago

























answered 10 hours ago









Michael KenzelMichael Kenzel

5,19311121




5,19311121








  • 1





    I think this is actually the right answer. And I would like to add that if both the template function sort and the lambda sort were declared in the same namespace, it would be an error. You cannot have a function and non-function with the same name in the same namespace. So there could never be an overload set that has both true functions and function-like objects.

    – Mike
    10 hours ago











  • Seems like a right answet to me. If there is something that can be done to workaround my problem I would be thankful for comment/answer edit.

    – bartop
    4 hours ago






  • 1





    @Scheff indeed, I must've mixed up the URLs somehow. Should be fixed now. Thanks for pointing that out!

    – Michael Kenzel
    1 hour ago













  • @bartop can you not just remove the using directives and/or use fully-qualified names, e.g., baz::sort!?

    – Michael Kenzel
    5 mins ago
















  • 1





    I think this is actually the right answer. And I would like to add that if both the template function sort and the lambda sort were declared in the same namespace, it would be an error. You cannot have a function and non-function with the same name in the same namespace. So there could never be an overload set that has both true functions and function-like objects.

    – Mike
    10 hours ago











  • Seems like a right answet to me. If there is something that can be done to workaround my problem I would be thankful for comment/answer edit.

    – bartop
    4 hours ago






  • 1





    @Scheff indeed, I must've mixed up the URLs somehow. Should be fixed now. Thanks for pointing that out!

    – Michael Kenzel
    1 hour ago













  • @bartop can you not just remove the using directives and/or use fully-qualified names, e.g., baz::sort!?

    – Michael Kenzel
    5 mins ago










1




1





I think this is actually the right answer. And I would like to add that if both the template function sort and the lambda sort were declared in the same namespace, it would be an error. You cannot have a function and non-function with the same name in the same namespace. So there could never be an overload set that has both true functions and function-like objects.

– Mike
10 hours ago





I think this is actually the right answer. And I would like to add that if both the template function sort and the lambda sort were declared in the same namespace, it would be an error. You cannot have a function and non-function with the same name in the same namespace. So there could never be an overload set that has both true functions and function-like objects.

– Mike
10 hours ago













Seems like a right answet to me. If there is something that can be done to workaround my problem I would be thankful for comment/answer edit.

– bartop
4 hours ago





Seems like a right answet to me. If there is something that can be done to workaround my problem I would be thankful for comment/answer edit.

– bartop
4 hours ago




1




1





@Scheff indeed, I must've mixed up the URLs somehow. Should be fixed now. Thanks for pointing that out!

– Michael Kenzel
1 hour ago







@Scheff indeed, I must've mixed up the URLs somehow. Should be fixed now. Thanks for pointing that out!

– Michael Kenzel
1 hour ago















@bartop can you not just remove the using directives and/or use fully-qualified names, e.g., baz::sort!?

– Michael Kenzel
5 mins ago







@bartop can you not just remove the using directives and/or use fully-qualified names, e.g., baz::sort!?

– Michael Kenzel
5 mins ago






















draft saved

draft discarded




















































Thanks for contributing an answer to Stack Overflow!


  • Please be sure to answer the question. Provide details and share your research!

But avoid …



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f55367269%2fgeneric-lambda-vs-generic-function-give-different-behaviour%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







-

Popular posts from this blog

Bruad Bilen | Luke uk diar | NawigatsjuunCommonskategorii: BruadCommonskategorii: RunstükenWikiquote: Bruad

Image
Öömrang ArtiikelKultuurIidj an drankHoonwerk ualhuuchsjiiskualgermaanskurnweederkwegelssees Wikiquote: Bruad (function()var node=document.getElementById("mw-dismissablenotice-anonplace");if(node)node.outerHTML="u003Cdiv class="mw-dismissable-notice"u003Eu003Cdiv class="mw-dismissable-notice-close"u003E[u003Ca tabindex="0" role="button"u003EFersteegu003C/au003E]u003C/divu003Eu003Cdiv class="mw-dismissable-notice-body"u003Eu003Cdiv id="localNotice" lang="frr" dir="ltr"u003Eu003Cdiv id="sitenotice"u003Enu003Ccenteru003Enu003Ctable class="rahmenfarbe4" style="border-style: solid; border-width: thin; width: 70%;"u003Ennu003Ctbodyu003Eu003Ctru003Enu003Ctd style="text-align:center;"u003Eu003Ca href="/wiki/Datei:Nordfriesischeflagge.svg" class="image"u003Eu003Cimg alt="Nordfriesischeflagge.svg" src="//upload.wikimedia.or...
Read more

Færeyskur hestur Heimild | Tengill | Tilvísanir | LeiðsagnarvalRossið - síða um færeyska hrossið á færeyskuGott ár hjá færeyska hestinum

Image
FæreyjarHestar færeyskahjaltlandshestinumíslenski hesturinnBretlandskolanámumenskuWikipediafæreyskuWikipediaRossið - síða um færeyska hrossið á færeysku Færeyskur hestur Úr Wikipediu, frjálsa alfræðiritinu Jump to navigation Jump to search Rani og Grani. Grani í vetrarfeldi. Færeyski hesturinn (færeyska: Føroyska rossið ) er hestur sem hefur lifað í Færeyjum í hundruði ára. Hann er smágerður, 120-132 cm á hæð, og helst skyldur hjaltlandshestinum. Hlutverk hans var að draga vagna og plóg og bera klyfjar. Hann hefur fjórar gangtegundir eins og íslenski hesturinn (þar með talið tölt) og er með fjölda litaafbrigði. Nú til dags er hann notaður til frístunda. Í lok 19. aldar voru til um 800 hross. Mö...
Read more

He _____ here since 1970 . Answer needed [closed]What does “since he was so high” mean?Meaning of “catch birds for”?How do I ensure “since” takes the meaning I want?“Who cares here” meaningWhat does “right round toward” mean?the time tense (had now been detected)What does the phrase “ring around the roses” mean here?Correct usage of “visited upon”Meaning of “foiled rail sabotage bid”It was the third time I had gone to Rome or It is the third time I had been to Rome

Image
Engineer refusing to file/disclose patents Extending the spectral theorem for bounded self adjoint operators to bounded normal operators Do varchar(max), nvarchar(max) and varbinary(max) columns affect select queries? Why is it that I can sometimes guess the next note? What linear sensor for a keyboard? Why don’t women say שלא עשני גויה and שפחה, according to Ashkenazim? Did arcade monitors have same pixel aspect ratio as TV sets? anything or something to eat Query about absorption line spectra Can I use my Chinese passport to enter China after I acquired another citizenship? Fuse symbol on toroidal transformer Create all possible words using a set or letters Does the Mind Blank spell prevent the target from being frightened? Can I sign legal documents with a smiley face? When quoting, must I also copy hyphens used to divide words that continue on the next line? ...
Read more