编写 C++ 函数模板时如何避免模板实例化错误？

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

int main() {
  int x = max<int>(3, 4);  // 明确指定模板参数类型为 int
}

template <typename T>
void swap(T& a, T& b) {
  T temp = a;
  a = b;
  b = temp;
}

int main() {
  int x = 10;
  double y = 3.14;

  swap(x, y);  // 由于参数类型不一致而导致错误
}

template <typename T>
T sum(T* arr, size_t size) {
  if (size == 0) {
    return 0;
  } else {
    return arr[size - 1] + sum(arr, size - 1);
  }
}

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

template <>
int max<int>(int a, int b) {
  return (a < b) ? a : b;  // 特殊实现，对 int 使用最小值
}

int main() {
  int x = max<double>(3.14, 6.28);  // 对 double 使用标准实现
  int y = max<int>(10, 20);  // 对 int 使用特化实现
}

#include <iostream>
#include <map>

template <typename T>
std::map<T, int> calculateFrequency(T arr[], int size) {
  std::map<T, int> frequency;

  for (int i = 0; i < size; i++) {
    frequency[arr[i]]++;
  }

  return frequency;
}

int main() {
  int arr[] = {1, 2, 3, 4, 5, 1, 2, 3};
  int size = sizeof(arr) / sizeof(arr[0]);

  std::map<int, int> frequency = calculateFrequency<int>(arr, size);

  for (const auto& [key, value] : frequency) {
    std::cout << key << " : " << value << "\n";
  }

  return 0;
}