C++模板參數推導的目的是為了提高代碼的靈活性和可重用性，同時避免不必要的歧義。在模板參數推導過程中，編譯器會根據給定的函數調用或表達式來推斷出模板參數的類型。然而，在某些情況下，這種推導可能會產生歧義，導致編譯器無法確定唯一的類型。
以下是一些可能導致歧義的情況：
template <typename T>
void foo(T t) { /* ... */ }
template <typename T>
void foo(T t, int n) { /* ... */ }
foo(42); // 歧義：編譯器無法確定是調用第一個還是第二個foo版本
auto x = 42; // 歧義：x可以是int、long、long long等類型
template <typename T>
void foo(T t) {
decltype(t) y = t; // 歧義：y的類型取決于t的類型，但t的類型又取決于模板參數
}
為了避免這些歧義，C++提供了一些規則和方法來解決這些問題。例如，可以通過重載函數模板、使用std::enable_if或其他類型萃取技術來明確指定模板參數的類型約束。此外，還可以使用constexpr關鍵字來確保表達式在編譯時具有確定的類型。
總之，避免歧義是C++模板參數推導的一個重要目標，以確保代碼的正確性和可維護性。
