變量模板循環，非遞歸

Question

我有一些功能，執行復雜的圖紙。 [僞代碼]

template<typename fields...>  // field names of Brush class 
void someFunction(){  
    for(very large loop){ 

    Brush brush = getBrush(); 
    int x; 

    foreach(field : fields){  // <--- this somehow should be replaced 
     x = brush.*field; 
     brush.update(x); 
    } 

    }  
} 

[清單1]

我把它叫做：

someFunction<&Brush::xPos1, &Brush::xPos2, &Brush::xPos3, &Brush::xPos4>() 

而且我想編譯器生成這樣的事情：

void someFunction(){  
    for(very large loop){ 

    Brush brush = getBrush(); 
    int x; 

     x = brush.xPos1; 
     brush.update(x); 

     x = brush.xPos2; 
     brush.update(x); 

     x = brush.xPos3; 
     brush.update(x); 

     x = brush.xPos4; 
     brush.update(x); 

    }  
} 

[上市2 ]

I mea ñ，我想擺脫那個foreach（領域：領域）。

---

我發現這個可變模板循環實現，但它是遞歸的。出於性能resons這甚至比foreach循環最差

int a; 

template <class T> 
void print(const T msg) 
{ 
    a = msg; 
} 


// And this is the recursive case: 
template <class A, class... B> 
void print(A head, B... tail) 
{ 
    a = head; 
    print(head); 
    print(tail...); 
} 

[上市3]

---

所以，問題是....是有可能可能才達到的結果在[清單2]？如果是，比如何？

Answer 1

我沒有看到這樣做的真正意義。編譯器應該將for循環和遞歸模板都優化爲相同的代碼。在任何情況下，這樣的事情應該工作：

struct Brush { 
    int xPos1, xPos2, xPos3, xPos4; 
    void update(int) {} 
}; 

typedef int Brush::* Field; 

template<Field...fs> 
void Foo() 
{ 
    Brush brush; 
    int a[] = { (brush.update(brush.*fs),0)... }; 
} 

int main() 
{ 
    Foo<&Brush::xPos1, &Brush::xPos2, &Brush::xPos3, &Brush::xPos4>(); 
}