バリエーションテンプレートを使用したアクイジション/リリース用のRAIIパターン

Question

私は "Acquire/Release" RAIIクラス（現時点では各種類のリソースごとに1つずつ）を1つのテンプレートクラスに置き換えようとしています。取得の一般的な形式は、Acquire（）、Acquire（p1）、Acquire（p1、p2）などのいくつかのタイプがあります。Releaseについても同様です。しかし、リソースがパラメータで取得された場合、それらは同じパラメータで解放する必要があります。

私は多次元テンプレートでこれを行うことができ、引数をタプルに格納すると思います。私はもちろん構文に落ちた。誰も助けることができますか？

#include <tuple> 

template<class T, typename... Args> 
class Raii 
{ 
public: 

    Raii(T * s, Args&& ... a) : subect(s), arguments(a) 
    { 
     subject->Acquire(arguments); 
    } 

    ~Raii() 
    { 
     subject->Release(arguments); 
    } 

private: 

    T subject; 
    std::tuple<Args...> arguments; 
}; 

class Framebuffer 
{ 
public: 

    void Acquire() {} 
    void Release() {} 
}; 

class Sampler 
{ 
public: 

    void Acquire(int channel) {} 
    void Release(int channel) {} 
}; 

class Buffer 
{ 
public: 

    void Acquire(int target, int location) {} 
    void Release(int target, int location) {} 
}; 

int main(void) 
{ 
    Framebuffer f; 
    Sampler s; 
    Buffer b; 

    auto b1 = Raii(&f); 
    { 
     auto b2 = Raii(&s, 10); 
     { 
      auto b3 = Raii(&b, 10, 20); 
      { 

      } 
     } 
    } 
    return 0; 
} 

Answer 1

ポインタと値の不一致のようなわずかな違いは別として、テンプレート引数なしでRaiiを参照することはできず、引数パラメータpack/tupleを展開しないことが主な問題です。ここで

はあなたが完璧な転送のいくつかの余分なsprinklingsで改善できる作業バージョンであるなど

template<class T, typename... Args> 
class Raii 
{ 
public: 

    Raii(T & s, Args&& ... a) : subject(s), arguments(a...) 
    { 
     //expand a 
     subject.Acquire(a...); 
    } 

    //helper to expand tuple 
    //requires std::index_sequence and friends from C++14 
    //if you are limited to C++11, you can find implementations online 
    template <std::size_t... Idx> 
    void release(std::index_sequence<Idx...>) 
    { 
     subject.Release(std::get<Idx>(arguments)...); 
    } 

    ~Raii() 
    { 
     //yay, index trick 
     release(std::index_sequence_for<Args...>{}); 
    } 

private: 

    T &subject; 
    std::tuple<Args...> arguments; 
}; 

//helper function so that we can deduce the Raii template args 
template <class T, typename... Args> 
Raii<T,Args...> make_raii (T & t, Args&&... args) { 
    return {t, std::forward<Args>(args)...}; 
} 

// Framebuffer etc. 

int main() 
{ 
    Framebuffer f; 
    Sampler s; 
    Buffer b; 

    //use make_raii instead of Raii 
    auto b1 = make_raii(f); 
    { 
     auto b2 = make_raii(s, 10); 
     { 
      auto b3 = make_raii(b, 10, 20); 
      { 

      } 
     } 
    } 
} 

Live Demo

[可変引数テンプレートテンプレートと完璧な転送]の

Answer 2

私は魔法のようになりますかなり確信している：

subject->Acquire(a...); 

aはテンプレートパックですので、あなたが呼び出しのためにそれを拡張する必要があります。

タプルを可変呼び出しに拡張する場合は、integer_sequence expansionが必要です。