C ++에서 형식 정보는 언제 역방향으로 흐르나요?

Question 1

방금 Stephan T. Lavavej CppCon 2018가 "Class Template Argument Deduction (클래스 템플릿 인수 추론)"에 대해 이야기하는 것을 보았습니다. 어느 시점에서 그는 우연히 다음과 같이 말합니다.

C ++에서 유형 정보는 거의 역방향으로 흐르지 않습니다. 한두 가지 경우가 있기 때문에 "거의"라고 말해야했습니다 .

그가 어떤 사건을 언급하고 있는지 알아 내려고했지만 나는 아무것도 생각할 수 없었다. 따라서 질문 :

어떤 경우에 C ++ 17 표준이 형식 정보가 역방향으로 전파되도록 요구합니까?

Question 2

다음은 하나 이상의 경우입니다.

struct foo {
  template<class T>
  operator T() const {
    std::cout << sizeof(T) << "\n";
    return {};
  }
};

당신이 할 경우 foo f; int x = f; double y = f;, 형식 정보를 알아낼 "뒤로"를 흐를 것 T입니다 operator T.

이를보다 고급 방식으로 사용할 수 있습니다.

template<class T>
struct tag_t {using type=T;};

template<class F>
struct deduce_return_t {
  F f;
  template<class T>
  operator T()&&{ return std::forward<F>(f)(tag_t<T>{}); }
};
template<class F>
deduce_return_t(F&&)->deduce_return_t<F>;

template<class...Args>
auto construct_from( Args&&... args ) {
  return deduce_return_t{ [&](auto ret){
    using R=typename decltype(ret)::type;
    return R{ std::forward<Args>(args)... };
  }};
}

이제 할 수 있습니다

std::vector<int> v = construct_from( 1, 2, 3 );

그리고 그것은 작동합니다.

물론, 그냥하지 않는 이유는 {1,2,3}무엇입니까? 음, {1,2,3}표현이 아닙니다.

std::vector<std::vector<int>> v;
v.emplace_back( construct_from(1,2,3) );

사실, 좀 더 마법이 필요합니다 : Live example . (나는 추론 반환을 F의 SFINAE 검사를 수행하고 F를 SFINAE 친화적으로 만들고 deduce_return_t 연산자 T에서 std :: initializer_list를 차단해야합니다.)

Question 3

Stephan T. Lavavej는 그가 트윗에서 이야기하고있는 사건을 설명했습니다 :

내가 생각했던 경우는 오버로드 / 템플릿 함수의 주소를 가져올 수 있고 특정 유형의 변수를 초기화하는 데 사용되는 경우 원하는 변수를 명확하게 할 수있는 곳입니다. (모호하지 않은 목록이 있습니다.)

오버로드 된 함수 주소의 cppreference 페이지 에서 이에 대한 예를 볼 수 있습니다. 아래 몇 가지를 제외했습니다.

int f(int) { return 1; } 
int f(double) { return 2; }   

void g( int(&f1)(int), int(*f2)(double) ) {}

int main(){
    g(f, f); // selects int f(int) for the 1st argument
             // and int f(double) for the second

     auto foo = []() -> int (*)(int) {
        return f; // selects int f(int)
    }; 

    auto p = static_cast<int(*)(int)>(f); // selects int f(int)
}

Michael Park는 다음과 같이 덧붙입니다 .

구체적인 유형을 초기화하는 것에도 국한되지 않습니다. 또한 인수의 수만으로 추론 할 수 있습니다.

이 라이브 예제를 제공 합니다 .

void overload(int, int) {}
void overload(int, int, int) {}

template <typename T1, typename T2,
          typename A1, typename A2>
void f(void (*)(T1, T2), A1&&, A2&&) {}

template <typename T1, typename T2, typename T3,
          typename A1, typename A2, typename A3>
void f(void (*)(T1, T2, T3), A1&&, A2&&, A3&&) {}

int main () {
  f(&overload, 1, 2);
}

여기서 좀 더 자세히 설명 하겠습니다 .

Question 4

오버로드 된 함수의 정적 캐스팅은 흐름이 일반적인 오버로드 해결과 반대 방향으로 이동한다고 믿습니다. 그래서 그 중 하나는 거꾸로 된 것 같습니다.