類型名稱的功能名稱映射在編譯時

Question

事情要實現的是與在這個崗位相似：Select function name based on template parameter

交流庫，以處理不同的數值類型（浮動，雙，復-float，複雜的雙），會有不同名稱的功能。

當創建這樣一個c庫的包裝，我想找出一種方法來實現重載的效果，併爲所有數字類型使用相同的函數名稱。現在我用模板特：

#include <iostream> 

float saxpy(float x) { 
    return (1-x); 
} 

double daxpy(double x) { 
    return (1+x); 
} 

template <typename T> 
T axpy(T x); 

template<> 
inline float axpy<float>(float x) { 
    return saxpy(x); 
} 

template<> 
inline double axpy<double>(double x) { 
    return daxpy(x); 
} 


int main() { 

    auto z0 = axpy(1.0f); 
    auto z1 = axpy(1.0); 

    std::cout << z0 << " " << z1 << std::endl; 

    return 0; 
} 

有使用型特徵的另一種方式：

#include <type_traits> 
#include <iostream> 

float saxpy(float x) { 
    return (1-x); 
} 

double daxpy(double x) { 
    return (1+x); 
} 


struct saxpy_traits { 
    static float feval(float x) { return saxpy(x); } 
}; 

struct daxpy_traits { 
    static double feval(double x) { return daxpy(x); } 
}; 


template <typename T> 
struct axpy_traits { 
    typedef typename std::conditional<std::is_same<T, float>::value, saxpy_traits, daxpy_traits>::type Func; 
    inline static T feval(T x) { 
     return Func::feval(x); 
    } 
}; 

template<typename T> 
inline T axpy(T x) { 
    return axpy_traits<T>::feval(x); 
} 


int main() { 

    auto z0 = axpy(1.0f); 
    auto z1 = axpy(1.0); 

    std::cout << z0 << " " << z1 << std::endl; 

    return 0; 
} 

是否有更優雅的方式？謝謝。

Answer 1

因爲我不知道究竟有資格成爲「優雅」，我提出了兩種備選方案：

float saxpy(float x) 
{ 
    return 1.0f - x; 
} 



double daxpy(double x) 
{ 
    return 1.0 + x; 
} 



namespace v1 { 

float axpy(float x) { return saxpy(x); } 

double axpy(double x) { return daxpy(x); } 

} // namespace v1 



namespace v2 { 

struct Axpy 
{ 
    float operator()(float x) const { return saxpy(x); } 

    double operator()(double x) const { return daxpy(x); } 
}; 

static constexpr Axpy axpy; 

} // namespace v2 

第一個版本只定義兩個重載函數。這與標準庫採取的方法類似，例如， std::sqrt。

第二個版本定義了一個重載的operator()函數對象。此版本允許代碼爲

std::vector<float> fs { 1.f, 2.f, 3.f, 4.f }; 
    std::vector<float> rs(fs.size()); 
    std::transform(fs.begin(), fs.end(), rs.begin(), v2::axpy); 

它不能用第一個版本編譯。