4

I am trying to profoundly understand Template Argument Deduction. One point I am not understanding is, how I should apply the rules in the standard here for the types A and P for the following case (there is sadly no example on cppreference.com, see below the relevant section)

template<typename T>
void foo(T t);

void call_with_reference(int& r) {
    foo(r)
}

-> Match P and A which gives: T is deduced to int&

which is cleary wrong. Where is the rule in the standard that says references from A are removed? A non-confusing, unambiguous clear answer would be very much appreciated.

Relevant Section: enter image description here

Community
  • 1
  • 1
Gabriel
  • 8,990
  • 6
  • 57
  • 101

1 Answers1

5

A is the type of an expression. Expression type is described by [expr.type]/1:

If an expression initially has the type “reference to T” ([dcl.ref], [dcl.init.ref]), the type is adjusted to T.

So here A is int.

This expression is an lvalue but that will not play any role since P is not a reference.

Oliv
  • 17,610
  • 1
  • 29
  • 72