无法使用 no_std/lang_items 编译 Rust

我正在尝试建立一个非常类似于的项目dueboot https://github.com/jensnockert/dueboot。即嵌入式 ARM 上的 Rust。现在，我只完成了 Rust 代码的编译，但无法编译它。

我基本上完全从该项目中复制了 Rust 代码，但我并不完全理解lang_items特征。

#![feature(asm)]
#![feature(lang_items)]
#![feature(no_std)]

#![no_std]

use arduino::{init, delay, pinMode, digitalWrite, analogWrite, LOW, HIGH, OUTPUT};
mod arduino;

#[lang="sized"]
trait Sized {}

#[lang="copy"]
trait Copy {}

#[lang="sync"]
trait Sync {}

static PWM:u32 = 2;
static LED:u32 = 11;

#[no_mangle]
pub fn main() {
  // ...
}

尝试按上述方式编译代码会导致以下错误：

main.rs:11:1: 11:15 error: parameter `Self` is never used
main.rs:11 trait Sized {}
           ^~~~~~~~~~~~~~
main.rs:14:1: 14:14 error: parameter `Self` is never used
main.rs:14 trait Copy {}
           ^~~~~~~~~~~~~
main.rs:17:1: 17:14 error: parameter `Self` is never used
main.rs:17 trait Sync {}
           ^~~~~~~~~~~~~
error: aborting due to 3 previous errors

我还尝试注释掉所有与lang_items，包括顶部的特征线。这是生成的错误消息：

// more lines of the same message
error: requires `sized` lang_item
error: requires `sized` lang_item
error: requires `sized` lang_item
error: requires `sized` lang_item
error: requires `sized` lang_item
error: aborting due to 54 previous errors

截至昨天，我正在使用 master 构建的 Rust。

有什么建议么？

几天前，Rust 添加了所有类型参数必须出现在 Trait 的方法中的规则（RFC 738 https://github.com/rust-lang/rfcs/blob/master/text/0738-variance.md）。但是由于Sized (and Copy and Sync) 没有自己的任何方法，它默认违反了此规则。

官方的解决方法是将特征标记为PhantomFn，这会消除错误：

#![feature(asm)]
#![feature(lang_items)]
#![feature(no_std)]

#![no_std]

use arduino::{init, delay, pinMode, digitalWrite, analogWrite, LOW, HIGH, OUTPUT};
mod arduino;

// Copied from <http://doc.rust-lang.org/core/marker/trait.PhantomFn.html>
#[lang="phantom_fn"]
trait PhantomFn<A: ?Sized, R: ?Sized = ()> {}

#[lang="sized"]
trait Sized: PhantomFn<Self> {}

#[lang="copy"]
trait Copy: PhantomFn<Self> {}

#[lang="sync"]
trait Sync: PhantomFn<Self> {}

static PWM:u32 = 2;
static LED:u32 = 11;

#[no_mangle]
pub fn main() {
  // ...
}

此更改应该使代码再次编译。

附录：什么是 lang 项？

A 语言项是一个对编译器标记为“特殊”的符号。一些例子是：

• 堆分配器

• 平仓程序panic

• 确保类型安全的类型和特征，例如Send and Drop and PhantomData

• 运算符重载的特征，例如Add and Eq and Deref

您可以在以下位置找到它们的列表：lang_items.rs https://github.com/rust-lang/rust/blob/master/src/librustc/middle/lang_items.rs.

这些项目对于语言的语义至关重要，但在编译器本身中实现是不切实际的。因此，我们将它们放入标准库中，并使用特殊注释告诉编译器它们在哪里。

现在，虽然您可以自己定义这些项目，但建议链接到core http://doc.rust-lang.org/core/相反，它为您声明这些 lang 项。但我不确定这对你的设置效果如何。