c++ - Overload resolution without a parameter list on class member access? - 


struct x {     void f(double) {}     static void f(int) {} };  int main() {     x x;      auto y = x.f; }

gcc gives:

error: unable deduce ‘auto’ ‘x.x::f’

x.f class member access postfix-expression documented in 5.2.5 [expr.ref]

it says:

if f (possibly overloaded) member function, function overload resolution (13.3) used deter- mine whether x.f refers static or non-static member function. (from n3485 5.2.5.4.3 )

how can overload resolution applied here - x.f doesn't have parameter list overload resolution?

or missing something?

update: if change auto y = x.f line expression-statement:

- auto y = x.f; + x.f;

then gcc instead complains:

error: statement cannot resolve address of overloaded function

i think you're right in standard isn't precise @ point:

[expr.ref]/4

if f (possibly overloaded) member function, function overload resolution (13.3) used determine whether x.f refers static or non-static member function.

as first sub-bullet states:

if refers static member function , type of e2 “function of parameter-type-list returning t”, e1.e2 lvalue; expression designates static member function. type of e1.e2 same type of e2, namely “function of parameter-type-list returning t”.

that is, x.f can used initialize function ptr if f static, whereas (see following sub-bullet) if f not static, can used in function-call expression.

but actually, overload resolution is not performed select overload name of overloaded function outside context of function-call-expression:

[over.over]/1

a use of overloaded function name without arguments resolved in contexts function, pointer function or pointer member function specific function overload set. [...] the function selected 1 type identical function type of target type required in context.

that is, exact match, not invoking overload resolution mechanism described in [over.match]. therefore [expr.ref]/4 incomplete, doesn't describe case of using x.f initialize function pointer/reference.

as auto keyword doesn't specify target type (or according [dcl.spec.auto]/6, mechanism deduce type auto fails), cannot use auto y = x.f;:

  • x.f refers set of overloaded functions
  • a function set needs selected
  • selection based upon overload resolution (in function-call-expression, not applicable here) or based on target type
  • there's no target type here, or rather, target type equivalent template argument, therefore type deduction auto fails

the type of x.f therefore is

  • in context of function call, directly refer [expr.ref]/4
  • otherwise, set of overloaded functions, function selected according [over.over], whereupon type determined according [expr.ref]/4

Comments

Post a Comment

Popular posts from this blog

jquery - How can I dynamically add a browser tab? -

since using iframes house external pages are, accounts "not preferred method" , disallowed sites (flickr, one), want dynamically generate browser tabs. e.g., when user submits form, want dynamically generate tab on browser in response submitted. e.g., might want add new tab url like: http://www.bigsurgarrapata.com/contact how in jquery? you want form target attribute action attribute. http://www.w3schools.com/tags/att_form_target.asp browsers have ultimate control on result of target attribute open new tab value of _blank. <form action="contact_submit.php" target="_blank" method="post">
Read more

node.js - Getting the socket id,user id pair of a logged in user(s) -

i have web application done using node js , in it,i have authentication system requires users log in before can access pages. have 2 pages,the homepage , updates page. from read docs,a new socket id issued when user opens tab in browser. me being admin,i know socket id of logged in user , more so,the socket id,logged in user id pair logged in users. what method can use socket id,logged in user id pair make sure broadcast realtime info users online?.
Read more

keyboard - C++ GetAsyncKeyState alternative -

i using windows.h library's getasynckeystate function define key pushed on keyboard . here program returns int value of pushed key example. #include <iostream> #include <windows.h> using namespace std; int main (){ char i; for(i=8;i<190;i++){ if(getasynckeystate(i)== -32767){ cout<<int (i)<<endl; } } return 0; } but trying make opengl simple game , function appeared slow . there function not need cycle 180 times , if statement . thanks you're trying make opengl game, you're going use glfw. if that's case can away using glfwgetkey() such: if (glfwgetkey(glfw_key_up) == glfw_press) {...} if (glfwgetkey(glfw_key_down) == glfw_press) {...} that method nicely explained in tutorial 6 opengl-tutorial.org . should start first tutorial of beginners tutorials , later intermediate tutorials . if you're going make win32 window can listen wm_keydown or wm_keyup messages , virtua
Read more