std :: tupleとテンプレート派生クラスでテンプレート引数の控除/置換が失敗するのはなぜですか？

Question

std::tupleの参照基底クラスを受け取る関数に、引数として参照派生クラスのstd::tupleを渡そうとすると、テンプレート引数の減算が失敗します。なぜコンパイラはテンプレート引数T1とT2を推測できないのですか？どのように修正できますか？

// Example program 
#include <iostream> 
#include <tuple> 

template<typename T> 
struct Base {}; 

template<typename T> 
struct Derived1 : Base<T> {}; 

template<typename T> 
struct Derived2 : Base<T> {}; 

template<typename T1, typename T2> 
void function(std::tuple<Base<T1>&,Base<T2>&> arg) 
{ 
    std::cout << "Hello\n"; 
} 

int main() 
{ 
    Derived1<int> d1; 
    Derived2<double> d2; 

    //function(std::tie(d1, d2)); /* In this case the template argument deduction/substitution failed */ 
    function<int,double>(std::tie(d1, d2)); /* here works */ 

    Base<int>& b1 = d1; 
    Base<double>& b2 = d2; 

    function(std::tie(b1, b2)); /* but, in this case also works */ 
} 

これは、ラインコードfunction(std::tie(d1, d2));のためのコンパイルエラーです：

In function 'int main()': 
25:30: error: no matching function for call to 'function(std::tuple<Derived1<int>&, Derived2<double>&>)' 
25:30: note: candidate is: 
15:6: note: template<class T1, class T2> void function(std::tuple<Base<T>&, Base<T2>&>) 
15:6: note: template argument deduction/substitution failed: 
25:30: note: mismatched types 'Base<T>' and 'Derived1<int>' 
25:30: note: 'std::tuple<Derived1<int>&, Derived2<double>&>' is not derived from 'std::tuple<Base<T>&, Base<T2>&>' 

Answer 1

控除は、このように動作しません。それは変換の前に引っ張り出します。ここでコンパイラはBase<T>から、Tを推測し、DerivedN<T>を渡そうとしています。彼らはタイプシステムの観点から全く異なる獣であり、その機能は呼出しに適したものを見つけるために捨てられる。
エラーを見て、それはかなり明確です。

どのように修正できますか？

#include<type_traits> 

// ... 

template<template<typename> class C1, template<typename> class C2, typename T1, typename T2> 
std::enable_if_t<(std::is_base_of<Base<T1>, C1<T1>>::value and std::is_base_of<Base<T2>, C2<T2>>::value)> 
function(std::tuple<C1<T1>&, C2<T2>&> arg) 
{ 
    std::cout << "Hello\n"; 
} 

// ... 

はそれを参照してくださいwandbox上で実行されている：

あなたがそれらを受け入れており、まだ彼らはBaseから派生しているという事実を強制するために、このようなものを使用することができます。