2

重複の可能性：
推測されないコンテキストの回避策

GCCは、この「単純な」関数のパラメーターを推測できません。コンパイラを少し助ける方法はありますか？

template<int a> struct A
{
    template<int b> struct B
    {
    };
};

template<int a, int b> void test(typename A<a>::template B<b> param) { }

int main()
{
    A<1>::B<2> b;

    test<1,2>(b); // works
    test(b);      // doesn't work
}

GCC 4.7.1からのエラーメッセージ：

test.cpp: In function 'int main()':
test.cpp:15:8: error: no matching function for call to 'test(A<1>::B<2>&)'
test.cpp:15:8: note: candidate is:
test.cpp:8:29: note: template<int a, int b> void test(typename A<a>::B<b>)
test.cpp:8:29: note:   template argument deduction/substitution failed:
test.cpp:15:8: note:   couldn't deduce template parameter 'a'
4

1 に答える 1

3

単純な推論のように見えますが、コンパイラに実行させたいことは、実際には非常に複雑で、一般的に実行が遅く、C++ ではサポートされていません。

これを回避する 1 つの方法は、すべてのテンプレート パラメーターを 1 か所に持つ、ネストされていない別のクラスを作成することです。次に、これを派生させることにより、ネストされたクラスのように見せることができます。

template<int a,int b> struct A_B {
  /* define your class here */
};

template<int a> struct A
{
    template<int b> struct B : A_B<a,b> {/*nothing here*/};
};

template<int a, int b> void test(A_B<a,b> param) { }

int main()
{
    A<1>::B<2> b;

    test<1,2>(b); // works
    test(b);      // works too
}

C++11 はテンプレートのエイリアシングもサポートしているため、これは少しすっきりしていますが、まだ広くサポートされているわけではありません。

template<int a> struct A
{
    template<int b> using B = A_B<a,b>;
};

この質問は密接に関連しています：

推定されないコンテキストの回避策

そこで提供される回答は、あなたの状況にも役立ちます。関数をフレンドにできる場合は、次のようにすることができます。

template<int a> struct A
{
    template <int b>
    struct B
    {
    };

    template <int b>
    friend void test(B<b> param)
    {
    }
};
于 2012-09-28T13:30:27.517 に答える