Foo <T> :: Foo (T &&) 호출에서 C ++가 T를 추론 할 수없는 이유는 무엇입니까?

다음과 같은 템플릿 구조가 주어집니다.

template<typename T>
struct Foo {
    Foo(T&&) {}
};

이것은 컴파일되고 다음과 T같이 추론됩니다 int.

auto f = Foo(2);

그러나 이것은 컴파일되지 않습니다 : https://godbolt.org/z/hAA9TE

int x = 2;
auto f = Foo(x);

/*
<source>:12:15: error: no viable constructor or deduction guide for deduction of template arguments of 'Foo'
    auto f = Foo(x);
             ^

<source>:7:5: note: candidate function [with T = int] not viable: no known conversion from 'int' to 'int &&' for 1st argument
    Foo(T&&) {}
    ^
*/

그러나 Foo<int&>(x)허용됩니다.

그러나 중복으로 보이는 사용자 정의 추론 가이드를 추가하면 작동합니다.

template<typename T>
Foo(T&&) -> Foo<T>;

사용자 정의 추론 가이드가없는 T것처럼 추론 할 수없는 이유는 무엇 int&입니까?

포워딩 참조와 관련하여 합성 된 추론 가이드에 대한 특정 예외가 있기 때문에 혼란이 발생한다고 생각합니다.

생성자에서 생성 된 클래스 템플릿 인수 공제와 사용자 정의 공제 가이드에서 생성 된 함수의 후보 함수는 정확히 동일합니다.

template<typename T>
auto f(T&&) -> Foo<T>;

그러나 생성자에서 생성 된 T&&것은 간단한 rvalue 참조이고 사용자 정의 경우 전달 참조 입니다. 이것은 C ++ 17 표준의 [temp.deduct.call] / 3 (초안 N4659, 광산 강조)로 지정됩니다.

전달 참조 이력서-비정규 템플릿 파라미터 r- 수치로 기준 인 클래스 템플릿의 템플릿 매개 변수를 나타내지 않는 (클래스 템플릿 인수 공제 동안 ([over.match.class.deduct])).

따라서 클래스 생성자에서 합성 된 후보 추론하지 않을 것이다 T(추론 할 수있는 착신 기준에서 마치 T그것이 있도록하는 좌변 기준으로 T&&만 추론 것 대신에도 좌변 기준 임)하지만, T그 있도록 비 참조로 T&&항상 rvalue 참조

때문에 여기에 문제는, 그입니다 클래스 에 템플릿한다 T생성자에서, Foo(T&&)우리는 하지 형태 추론을 수행하는 단계; 항상 r- 값 참조가 있습니다. 즉,의 생성자는 Foo실제로 다음과 같습니다.

Foo(int&&)

Foo(2)2prvalue 이기 때문에 작동합니다 .

Foo(x)x바인딩 할 수없는 lvalue 가 아니기 때문 입니다 int&&. 당신이 할 수있는 std::move(x)적절한 유형으로 캐스팅 ( 데모 )

Foo<int&>(x)생성자가 Foo(int&)참조 축소 규칙으로 인해 되기 때문에 제대로 작동합니다 . 처음에는 표준 Foo((int&)&&)에 Foo(int&)따라 축소됩니다 .

"중복"공제 안내서와 관련하여 : 처음에는 기본적으로 도우미 함수처럼 작동하는 코드에 대한 기본 템플릿 공제 안내서가 있습니다.

template<typename T>
struct Foo {
    Foo(T&&) {}
};

template<typename T>
Foo<T> MakeFoo(std::add_rvalue_reference_t<T> value)
{
   return Foo<T>(std::move(value));
}

//... 
auto f = MakeFoo(x);

표준에 따르면이 (가상) 템플릿 메소드에는 클래스 (Just T) 와 동일한 템플릿 매개 변수가 있고 생성자 (이 경우에는 아무도 생성자가 템플릿되지 않음) 와 같은 템플릿 매개 변수가 뒤 따릅니다. 그런 다음 함수 매개 변수의 유형은 생성자의 유형과 동일합니다. 우리의 경우 인스턴스화 한 후 Foo<int>생성자는 Foo(int&&)rvalue-reference 와 같이 보입니다 . 따라서 add_rvalue_reference_t위 의 사용법 .

분명히 이것은 작동하지 않습니다.

"중복"공제 안내서를 추가 한 경우 :

template<typename T>
Foo(T&&) -> Foo<T>;

당신은 첨부 참조 어떤 종류에도 불구하고, 컴파일러가 구별 할 수 T생성자 (에서 int&, const int&또는 int&&등), 당신은 참조 (바로하지 않고 될 수있는 클래스에 대한 추론 유형을위한 T). 우리가 갑자기 때문입니다 되는 타입 추론을 수행.

이제 다음과 같은 또 다른 (가상) 도우미 함수를 생성합니다.

template<class U>
Foo<U> MakeFoo(U&& u)
{
   return Foo<U>(std::forward<U>(u));
}

// ...
auto f = MakeFoo(x);

(생성자에 대한 호출은 클래스 템플릿 인수 공제를 위해 도우미 함수로 리디렉션되므로) Foo(x)가됩니다 MakeFoo(x).

이를 통해 U&&이 될 int&및 T간단하게되기 위해int