獲取價值和參考。歧義。模板功能

Question

請考慮下面的代碼：

template<typename Body> 
Body solve(Body a, Body b){ 
    Body zero(0); 
    return zero; 
} 

template<typename Body, Body& zero> 
Body solve(Body a, Body b){ 
    return zero; 
} 

complex<double> zero_complex(0); 

int main() { 
    complex<double> c1(1,2); 
    complex<double> c2(3,4);  
    solve<complex<double>, zero_complex> (c1,c2); 
    return 0; 
} 

我怎樣才能獲得通過參考complex<double>？

當我重載一個函數（見下文）時，我得到一個模糊性錯誤。

template<typename Body> 
Body solve(Body& a, Body& b){ 
    Body zero(0); 
    return zero; 
} 

Answer 1

這是因爲你有兩個函數solve具有相同的簽名。改變第二是solve(Body a, Body b, Body& c = zero)

Answer 2

這是因爲argument dependent lookup(ADL) or Koenig lookup

如果兩個函數具有相同的參數，然後將不會從彼此區分，儘管具有不同的模板參數。