為什麼不能像函式模板那樣為類別建構子推斷 C 模板參數？

類別建構子範本推論爭議

範本參數可以方便地從函數參數推斷出來，如以下程式碼所示：

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

但是，類別建構子不允許使用類似的方法，這在C 中引起了疑問程式設計師。為什麼不呢？

這種不一致背後的原因在於物件建構的複雜性。建構函數不是類別的唯一入口點。複製建構函式和賦值運算子也發揮著至關重要的作用，僅從建構函式推斷模板參數可能會導致歧義。

考慮以下範例：

template <typename t>
class Variable {
  T data;
public:
  Variable(T d) { data = d; }
};</typename>

如果允許範本推斷，則以下程式碼是有效的：

Variable var(2); // Equivalent to Variable<int> var(2);</int>

但是如果我們使用複製構造或賦值會怎麼樣運算符？

MyClass m(string s);
MyClass *pm;
*pm = m;

在這種情況下，編譯器決定 MyClass pm 的模板類型將具有挑戰性。

為了緩解這個問題，C 17 引入了從建構子參數進行型別推導。這允許從建構函數參數推斷模板參數，從而消除在某些情況下對顯式類型參數的需求。例如：

std::pair p(2, 4.5); // Inferred as std::pair<int double> p(2, 4.5);
std::tuple t(4, 3, 2.5); // Inferred as std::tuple<int int double> t(4, 3, 2.5);</int></int>

需要注意的是，此推理功能仍在開發中，可能會在未來的 C 標準中進行修改。儘管如此，它標誌著朝著簡化程式碼和提高類型安全性邁出了重要一步。

以上是為什麼不能像函式模板那樣為類別建構子推斷 C 模板參數？的詳細內容。更多資訊請關注PHP中文網其他相關文章！