Rust: कोर :: मार्कर :: भेजें और कच्चे पॉइंटर्स

को निर्मित 28 जन॰ 2015 · 3टिप्पणियाँ · स्रोत: rust-lang/rust

द रस्ट बुक कहती है कि कच्चे पॉइंटर्स को "भेजने योग्य माना जाता है (यदि उनकी सामग्री को भेजने योग्य माना जाता है)"।

हालांकि जो मैं देख सकता हूं, संकलक त्रुटि उत्पन्न करता है the trait core::marker::Send is not implemented for the type जब यह एक भेजने योग्य प्रकार के कच्चे सूचक का सामना करता है।

यह हो सकता है कि मैं कुछ गलत कर रहा हूं, यह हो सकता है कि दस्तावेज अस्पष्ट है या यह हो सकता है कि त्रुटि संदेश इस कोड के साथ वास्तविक समस्या जो भी हो, यह इंगित करने में सहायक नहीं है।

extern crate core;
use std::thread::Thread;

struct ShouldBeSendable {
    x: i32
}
unsafe impl core::marker::Send for ShouldBeSendable { }


fn main() {
    let sendablePtr : *const ShouldBeSendable = &ShouldBeSendable {x: 5};
            let closure = move |:| {
                *sendablePtr;
            };
    let something = Thread::spawn(closure);
}

त्रुटि उत्पन्न करता है:

test.rs:15:21: 15:34 error: the trait `core::marker::Send` is not implemented for the type `*const ShouldBeSendable` [E0277]
test.rs:15     let something = Thread::spawn(closure);
                               ^~~~~~~~~~~~~
test.rs:15:21: 15:34 note: `*const ShouldBeSendable` cannot be sent between threads safely
test.rs:15     let something = Thread::spawn(closure);
                               ^~~~~~~~~~~~~
error: aborting due to previous error

$ rustc --version
rustc 1.0.0-dev (d15192317 2015-01-25 16:09:48 +0000)

स्रोत

drewcrawford

सबसे उपयोगी टिप्पणी

NonNull का उपयोग करके जंग 1.25 के लिए @japaric उदाहरण।

https://play.rust-lang.org/?gist=1ce2532a0eeefc60695663c26faddebe1&version=stable

rubenrua 24 अप्रैल 2018

❤1 🎉1 😄1 👍1

सभी 3 टिप्पणियाँ

यह हाल ही में बदल गया है, जिससे दस्तावेज़ पुराने हो गए हैं। एक बग को नोटिस करने और फाइल करने के लिए धन्यवाद!

huonw 28 जन॰ 2015

@drewcrawford अपने कच्चे सूचक को Send सक्षम बनाने के लिए आप Unique रैपर का उपयोग कर सकते हैं। आपके कोड का यह संशोधित संस्करण काम करता है:

use std::ptr::Unique;
use std::thread::Thread;

#[derive(Copy)]
struct ShouldBeSendable {
    x: i32
}

unsafe impl std::marker::Send for ShouldBeSendable { }

fn main() {
    let ptr : *mut ShouldBeSendable = &mut ShouldBeSendable {x: 5};  // this is not `Send`
    let sendablePtr = Unique(ptr);  // but this is!

    let closure = move |:| {
        // `sendablePtr` con be moved inside this closure
        let ptr = sendablePtr.0;  // unpack the raw pointer
        println!("{}", unsafe { (*ptr).x })
    };
    let something = Thread::scoped(closure).join();
}