4

2つのクラスcl1を作成し、パラメーターを受け取るコンストラクcl2ターcl1がありcl2&ます。私には3つの関数があります。1つcl1はパラメーターとして、もう1つはパラメーターとして、もうcl1&&1つはcl1&パラメーターとして使用します。

#include <thread>
#include <iostream>

class cl1;
class cl2;


class cl2 {
public:
    int y;
    cl2(int y) : y(y)   {}                  //ctor
};

class cl1 {
public:
    int x;
    cl1(int x) : x(x) {}                 //ctor
    cl1(cl2& ob1) : x(ob1.y * 2) {}      //ctor for automatic conversion of cl2& to cl1, x = y*2
};

void do_work_with_cl(cl1 ob) {              //This works as usual by actually copying the object through the conversion constructor
    std::cout << "The x of ob is " << ob.x << std::endl;
}

void do_work_with_cl_rref(cl1&& ob) {       //I guess this works because it takes an rvalue and the automatic
                                            //conversion ctor of cl1 does just that
    std::cout <<"Inside the function that takes cl1 as rvalue, x of ob is"  << ob.x << std::endl;
}

void do_work_with_cl_lref(cl1& ob) {        //This doesn't work as ob is non-const lvalue reference
    std::cout << "lvalue referenced but the object created through implicit conversion is temporary(i.e rvalue)" << std::endl;
}   


int main() {
    //Normal non-threaded calls
    cl2 ob(100);                //create a cl2 object
    do_work_with_cl(ob);            //This is ok
    do_work_with_cl_rref(ob);   //This too works
    //do_work_with_cl_lref(ob)  //This fails, as suspected

    std::cout << "Thread part" << std::endl

    //Now calling the functions through a thread
    std::thread t1(do_work_with_cl_rref, ob);   //Thought this could work here, but doesn't
                                                //The other functions also don't work, but I can understand why.
    t1.join();                                              
}

ideone.com：http://ideone.com/MPZc4Cで、この質問をするつもりだったので、例は機能します。しかし、g ++-4.7では、次のようなエラーが発生します。

In file included from /usr/include/c++/4.7/ratio:38:0,
             from /usr/include/c++/4.7/chrono:38,
             from /usr/include/c++/4.7/thread:38,
             from main.cpp:1:
/usr/include/c++/4.7/type_traits: In instantiation of ‘struct std::_Result_of_impl<false, false, void (*)(cl1&&), cl2>’:
/usr/include/c++/4.7/type_traits:1857:12:   required from ‘class std::result_of<void (*(cl2))(cl1&&)>’
/usr/include/c++/4.7/functional:1563:61:   required from ‘struct std::_Bind_simple<void (*(cl2))(cl1&&)>’
/usr/include/c++/4.7/thread:133:9:   required from ‘std::thread::thread(_Callable&&, _Args&& ...) [with _Callable = void (&)(cl1&&); _Args = {cl2&}]’
main.cpp:13:44:   required from here
/usr/include/c++/4.7/type_traits:1834:9: error: invalid initialization of reference of type     ‘cl1&&’ from expression of type ‘cl2’
make: *** [main.o] Error 1

実装に問題があるのか​​、コードに問題があるのか​​はよくわかりません。C++のスレッドなどについて学習しているだけなので、これを行う実際的な理由はありません。問題が何であるか、またコードのコメントで私が正しいかどうかを教えてください。（コード内のコメント「これは機能します...」は、main（）からパラメーター（オブジェクトへの参照ではない）としてオブジェクトを使用して呼び出された場合に適切であることを意味します。）

4

1 に答える 1

5

C++標準のパラグラフ§30.3.1.2/3は次のように述べています。

「要件：FおよびArgsの各Tiは、MoveConstructible要件を満たしている必要があります。INVOKE（DECAY_COPY(std::forward<F>(f)), DECAY_COPY(std::forward<Args>(args))...)（20.8.2）は有効な式である必要があります」。

式DECAY_COPY(x)は、30.2.6で定義されています。

「この節のいくつかの場所で操作DECAY_COPY(x)が使用されます。そのような使用はすべて、関数を呼び出してdecay_copy(x)結果を使用することを意味します。ここで、decay_copyは次のように定義されます。」

template <class T> typename decay<T>::type decay_copy(T&& v)
{ return std::forward<T>(v); }

この操作ではオブジェクトからcv修飾子が削除されるため、型から型への変換コンストラクターまたは変換演算子が普遍的に有効decayである必要があります。これをチェックするために、の転送機構は明らかにそれらへの右辺値参照を生成し、それらからインスタンスを取得しようとします。変換コンストラクターで右辺値参照を非定数左辺値参照にバインドできないため、これは失敗します。cl1cl2std::threadcl1c2

コンストラクターのシグネチャをからに変更するcl1(cl2& ob1)とcl1(cl2 const& ob1)、GCC 4.7.2で機能します。これは、右辺値参照をへの左辺値参照にバインドできるためconstです。

于 2013-01-16T18:56:17.917 に答える