C++函數的結構，無論模板類型

Question

我有一組對模板類工作的功能，但不依賴於類的模板部分。

模板功能，並允許它來推斷類型的工作，但隨後會編譯成多種功能。

#include <iostream> 

template<typename T> 
struct MyStruct { 
    int a; 
    T b; 
}; 


bool isLess(MyStruct& lhs, MyStruct& rhs) { 
    return lhs.a < rhs.a; 
} 


int main(int argc, char const *argv[]) 
{ 
    MyStruct<int> x {123, 456}; 
    MyStruct<int> y {789, 123}; 

    std::cout << isLess(x, y) << std::endl; 

    return 0; 
} 

有沒有辦法做到這一點？

Answer 1

重構不另一個類取決於T領域。請從中MyStruct<T>繼承：

struct MyStructBase 
{ 
    int a; 
}; 

template<typename T> 
struct MyStruct : MyStructBase 
{ 
    T b; 
}; 

bool isLess(MyStructBase& lhs, MyStructBase& rhs) { 
    return lhs.a < rhs.a; 
} 

int main(int argc, char const *argv[]) 
{ 
    MyStruct<int> x {123, 456}; 
    MyStruct<int> y {789, 123}; 

    std::cout << isLess(x, y) << std::endl; 

    return 0; 
} 

Answer 2

您可以使用繼承：

struct MyStructBase { 
    int a; 
}; 

template<typename T> 
struct MyStruct : public MyStructBase { 
    T b; 
}; 


bool isLess(MyStructBase& lhs, MyStructBase& rhs) { 
    return lhs.a < rhs.a; 
} 

Answer 3

我會做到這一點：

​​

這不管你的工作類型之間的關係，並會沒有編譯成多功能（見最後一段）。它將允許任何類型的成員a小於可比。

對函數進行模板化並允許它推導出類型，但是會編譯爲多個函數。

不好猜測。它甚至比這更好，它將編譯爲沒有任何功能，因爲任何理智的編譯器（甚至是msvc）都將完全內聯該函數。