title: Statically chosen function and virtual function
body: <p>Recently I've seen this C++ standard paragraph (<a href="http://eel.is/c++draft/expr.post#expr.call-5" rel="nofollow noreferrer">http://eel.is/c++draft/expr.post#expr.call-5</a>):</p>
  
  <blockquote>
    <p>If the postfix-expression designates a destructor, the type of the function call expression is void; otherwise, the type of the function call expression is the return type of the statically chosen function (i.e., ignoring the virtual keyword), even if the type of the function actually called is different. This return type shall be an object type, a reference type or cv void.</p>
  </blockquote>
  
  <p>I don't really understand this part:</p>
  
  <blockquote>
    <p>the type of the function call expression is the return type of the statically chosen function (i.e., ignoring the virtual keyword), even if the type of the function actually called is different.</p>
  </blockquote>
  
  <ol>
  <li>What is the statically chosen function here? </li>
  <li>How virtual function can be statically chosen? I've always thought that it's chosen at the runtime.</li>
  <li><blockquote>
    <p>even if the type of the function actually called is different.</p>
  </blockquote></li>
  </ol>
  
  <p>How a call expression can actually call function of the different type that was chosen?</p>