c++ - ポインタと参照テンパテ引数に関するテンプレートの問題

Question

次のコードがコンパイルされない理由を理解しようとしています。

class X
{
public:
    template< typename T >
    void set( T & val )
    {
    }
};

int main( int c, char *v[] )
{
    X x;

    x.set( new int( 99 ) );        // 15
}

私のsolarisコンパイラでは、次のエラーが発生します。

"x.cpp", line 15: Error: Could not find a match for X::set<X::T>(int*) needed in main(int, char**).

コンパイラがintへのポインタの参照を取得せず、型「T」を「int*」として渡さない理由を理解できません。

Answer 1

式の結果はnew右辺値であるため、非定数参照にバインドすることはできません。

void set(T val)代わりに、値でポインタを渡すようにテンプレートを宣言します。

Answer 2

それは可能ですが、それは一時的なものです;）

class X
{
public:
    template< typename T >
    void set( T const & val )  // add const here
    {
    }
};

そして、それを非参照にバインドすることはできませんconst。

これが機能するのと同じ理由：

class X
{
public:
    template< typename T >
    void set( T & val )
    {
    }
};
int main( int c, char *v[] )
{
    X x;
    int * y = new int( 99 );
    x.set( y );        // 15
}

ここでyは、もはや一時的なものではありません。

Answer 3

一時的なものを非定数参照にバインドすることはできません。

そのメソッドのシグネチャを保持する必要がある場合は、変数を作成して、そのメソッドに渡す必要があります。

class X
{
public:
    template< typename T >
    void set( T & val )
    {
    }
};

int main( int c, char *v[] )
{
    X x;

    int * p = new int( 99 );
    x.set( p );        // 15
}

メソッドのシグネチャを変更できる場合は、const参照または値のいずれかでパラメータを渡します。