針對特定類型的模板 function 的特化

Question

考慮這個 function 模板返回兩個類型值的最大值：

template<typename T>
T max(T a, T b)
{
   return a ? a > b : b;
} 

是否可以像使用類一樣為用戶定義類型定義單獨的行為？ 看起來像這樣的東西？

template<>
Entity max<Entity>(const Entity a, const Entity b)
{
   std::cout << "this is an entity" << std::endl;
   return a ? a > b : b;
} 

PS：在這種情況下，我重載了 Entity 的const char*運算符以返回實體的名稱和operator>進行比較。

提前致謝。

Answer 1

你的代碼有一些問題。 我在下面的示例代碼中修復了它們：

struct Entity
{
   bool operator >(const Entity & other)
   {
      return x > other.x;
   }
   int x = 0;
};

template<typename T>
T max(T a, T b)
{
   return a > b ? a : b;
}

template<>
Entity max(Entity a, Entity b)
{
   std::cout << "this is an entity" << std::endl;
   return a > b ? a : b;
}

int main()
{
   Entity e1;
   Entity e2;

   e1.x = 12;
   e2.x = 13;

   Entity max_en = max(e1, e2);
}