如何從模板函數返回模板類？

Question

我該如何進行最后的注釋行編譯？ 我將如何更改此代碼才能使其正常工作？

#include<iostream>

using namespace std;

template <int x>
class someclass{
 public:
  int size;
  int intarr[x];
  someclass():size(x){}
};

template<int x, int y>
int somefunc(someclass<x> A, someclass<y> B){
 return ( A.size > B.size ? A.size : B.size); 
}

template<int x, int y, int z>
someclass<x> anotherfunc(someclass<y> A, someclass<z> B){
 return ( A.size > B.size ? A : B); 
}

int main(){

 someclass<5> A;
 someclass<10> B;
 cout << "SIZE = " << somefunc(A,B) << endl;
 //cout << "SIZE = " << (anotherfunc(A,B)).size << endl; //THIS DOES NOT COMPILE
 return 0;
}

Answer 1

應該如何從函數外部知道x是什么？ （它不能查看主體，因為它在哪個函數的主體中取決於x值！）。 您也不能寫?:因為您的兩個分支都產生完全不相關的類型，這些類型不可能成為普通類型。 但是，該運算符要求其評估的兩個分支都具有通用類型。

然后另一篇文章已經闡述了另一個size不是編譯時間常數的問題。

我認為這應該工作：

template<int y, int z>
someclass<sizeof (char[+(y >= z)]) * y> anotherfunc(someclass<y> A, someclass<z> B){
 return A; 
}

template<int y, int z>
someclass<sizeof (char[+(y < z)]) * z> anotherfunc(someclass<y> A, someclass<z> B){
 return B; 
}

現在，當調用它時， y和z由參數推導，然后將參數替換為返回類型。 sizeof(char[1 or 0])將測試y或z是否更大。 在將其評估為sizeof(char[1]) （產生1）的相應模板中，我們將乘以更大（或等於）的值。 如果各自的模板產生sizeof(char[0])這是推論失敗（數組的大小不能為零！），並且該模板也不會通過重載分辨率（稱為SFINAE ）進行選擇。

一元+產生1或0 int值，而不是true或false ，這可能會引起某些編譯器的警告。

---

enable_if也有一種“干凈”的方式。 它不是在執行可笑的sizeof技巧，而是使用已建立的常規enable_if模式。 Boost有一個實現

template<int y, int z>
typename boost::enable_if_c<(y >= z), someclass<y> >::type 
anotherfunc(someclass<y> A, someclass<z> B){
 return A; 
}

template<int y, int z>
typename boost::enable_if_c<(y < z), someclass<z> >::type 
anotherfunc(someclass<y> A, someclass<z> B){
 return B; 
}

乍一看，這看起來更吵雜，但應該更易於理解，並且可以更快地跟進已經習慣enable_if （boost實現的_c變體接受純布爾值，如上所述）。

Answer 2

請記住，在C ++中，一切都在編譯時確定。 在anotherfunc ，直到運行時，您才知道返回的是“ y型”還是“ z型”類。 如果要從函數返回模板類，則需要知道要返回的內容。

您可以使用一些技巧來重載中間類的強制轉換運算符，以獲取看起來像在返回類型上重載的內容，但這實際上是在濫用語言（並且您仍然需要在編譯時知道返回類型！）