Shader
トレイトのインスタンスを返す関数を作成しようとしています。ここに私の劇的に単純化されたコードがあります:
trait Shader {}
struct MyShader;
impl Shader for MyShader {}
struct GraphicsContext;
impl GraphicsContext {
fn create_shader(&self) -> Shader {
let shader = MyShader;
shader
}
}
fn main() {}
ただし、次のエラーが表示されます。
error[E0277]: the trait bound `Shader + 'static: std::marker::Sized` is not satisfied
--> src/main.rs:10:32
|
10 | fn create_shader(&self) -> Shader {
| ^^^^^^ `Shader + 'static` does not have a constant size known at compile-time
|
= help: the trait `std::marker::Sized` is not implemented for `Shader + 'static`
= note: the return type of a function must have a statically known size
新しいバージョンのコンパイラには、次のエラーがあります。
error[E0277]: the size for values of type `(dyn Shader + 'static)` cannot be known at compilation time
--> src/main.rs:9:32
|
9 | fn create_shader(&self) -> Shader {
| ^^^^^^ doesn't have a size known at compile-time
|
= help: the trait `std::marker::Sized` is not implemented for `(dyn Shader + 'static)`
= note: to learn more, visit <https://doc.Rust-lang.org/book/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait>
= note: the return type of a function must have a statically known size
コンパイラーは特性のサイズを認識していないため、これは理にかなっていますが、これを修正するための推奨される方法はどこにもありません。 &
を使用して参照を返すことは、参照がその作成者の存続期間よりも長く存続するため、私の知る限りでは機能しません。
おそらくBox<T>
を使用する必要がありますか?
_fn create_shader(&self) -> impl Shader {
let shader = MyShader;
shader
}
_
トレイトメソッドで使用できないなどの制限があり、具体的な戻り値の型が条件付きの場合は使用できません。そのような場合は、以下の特性オブジェクトの回答を使用する必要があります。
_&T
_や_Box<T>
_など、何らかのtraitオブジェクトを返す必要があり、そのとおりです_&T
_このインスタンスでは不可能です:
_fn create_shader(&self) -> Box<Shader> {
let shader = MyShader;
Box::new(shader)
}
_
以下も参照してください。
これはあなたが探していたものだと思います。 Rustに実装された単純なファクトリ :
pub trait Command {
fn execute(&self) -> String;
}
struct AddCmd;
struct DeleteCmd;
impl Command for AddCmd {
fn execute(&self) -> String {
"It add".into()
}
}
impl Command for DeleteCmd {
fn execute(&self) -> String {
"It delete".into()
}
}
fn command(s: &str) -> Option<Box<Command + 'static>> {
match s {
"add" => Some(Box::new(AddCmd)),
"delete" => Some(Box::new(DeleteCmd)),
_ => None,
}
}
fn main() {
let a = command("add").unwrap();
let d = command("delete").unwrap();
println!("{}", a.execute());
println!("{}", d.execute());
}
ジェネリックと静的ディスパッチを使用して(これらが正しい用語であるかどうかはわかりません。他の誰かが使用しているのを見ただけです)、このようなものを作成できます。
これは正確に「特性として戻る」というわけではありませんが、関数が特性を一般的に使用できるようにします。私の意見では、構文は少しあいまいなので、見落としがちです。
Iterator
トレイトを返すことについて 特定のリストタイプの代わりに一般的なイテレータを使用する を尋ねました。醜くなります。
遊び場 :
struct MyThing {
name: String,
}
trait MyTrait {
fn get_name(&self) -> String;
}
impl MyTrait for MyThing {
fn get_name(&self) -> String {
self.name.clone()
}
}
fn as_trait<T: MyTrait>(t: T) -> T {
t
}
fn main() {
let t = MyThing {
name: "James".to_string(),
};
let new_t = as_trait(t);
println!("Hello, world! {}", new_t.get_name());
}