為什麼模板推演中隱式類型轉換失敗？

模板推導中的隱式型別轉換

在C 語言中，隱式型別轉換機制在範本參數推導中扮演關重要的作用。然而，在某些情況下，它可能會導致意外的行為，如下面的程式碼片段所示：

<code class="cpp">#include<iostream>
using namespace std;

template<typename dtype>
class Scalar{
public:
  Scalar(Dtype v) : value_(v){}
private:
  Dtype value_;
};

template<typename dtype>
void func(int a, Scalar<dtype> b){ 
  cout <p>在提供的程式碼中，目標是透過將int 隱式轉換為來調用模板函數func標量<int>目的。然而，令人驚訝的是，由於模板參數推導/替換第一次呼叫 func(a, 2) 失敗，程式碼無法編譯。 </int></p>
<p>此失敗背後的原因是模板參數推導不考慮使用者 -定義的轉換。在這種情況下，從 int 到 Scalar<int> 的轉換需要進行。是使用者定義的轉換，在範本參數推導過程中不會自動套用。 </int></p>
<p>要解決此問題，有幾個選項：</p>
<ul>
<li>
<p><strong>明確轉換在呼叫方站點：</strong> 透過手動提供Scalar<int> 強制轉換；呼叫處具有所需值的物件：</int></p>
<pre class="brush:php;toolbar:false"><code class="cpp">func(a, Scalar<int>{2}); </int></code>

推導指南： 為Scalar 定義推導指南並呼叫func：

<code class="cpp">func(a, Scalar{2}); // C++17 only</code>

這種方法依賴預設的推導指南，在這種情況下就足夠了。

明確實例化：明確實例化所需類型的func 範本：

<code class="cpp">func<int>(a, 2); </int></code>

僅當Scalar: :Scalar(T) 不顯式時才有效。

總之，模板參數推導不會自動套用使用者- 定義的轉換。若要在範本參數推導中使用使用者定義的轉換，必須在呼叫方明確轉換參數、使用推導指南（如果適用）或明確實例化所需類型的範本。

以上是為什麼模板推演中隱式類型轉換失敗？的詳細內容。更多資訊請關注PHP中文網其他相關文章！