Rust: decl_macro: impor tidak berfungsi dalam permintaan lintas peti cross

Dibuat pada 31 Mei 2017  ·  3Komentar  ·  Sumber: rust-lang/rust

Reproduksi minimal:

// src/lib.rs
#![feature(decl_macro)]

pub macro use_fmt {
    () => {
        use std::fmt;
    }
}

// examples/test.rs
#![feature(use_extern_macros)]

extern crate macro_test;

use macro_test::use_fmt;

use_fmt!();

fn main() {}
The error:
$ cargo build --example test
   Compiling macro-test v0.1.0 (file:///.../macro-test)
error[E0432]: unresolved import `std::fmt`
 --> examples/test.rs:7:1
  |
7 | use_fmt!();
  | ^^^^^^^^^^^ Could not find `std` in `{{root}}`
  |
  = note: this error originates in a macro outside of the current crate

error: aborting due to previous error(s)

error: Could not compile `macro-test`.

Memanggil makro di peti yang sama seperti yang ditentukan berfungsi seperti yang diharapkan.

cc @jseyfried

A-macros-2.0 C-bug

Komentar yang paling membantu

Maaf atas keterlambatan mendapatkan ini. Diperbaiki di #46419.

Semua 3 komentar

Maaf atas keterlambatan mendapatkan ini. Diperbaiki di #46419.

Saya tidak tahu apakah ini masalah yang sama (dan apakah PR memperbaikinya), tetapi saya mendapatkan kesalahan yang sama dengan proc_macro .
Berikut adalah contoh minimal untuk mereproduksi masalah ini.
Apakah masalah yang sama?
Ketika saya menjalankan cargo build , saya mendapatkan kesalahan berikut:

error[E0433]: failed to resolve. Could not find `postgres` in `{{root}}`
 --> src/lib.rs:9:17
  |
9 | #[derive(Debug, SqlTable)]
  |                 ^^^^^^^^ Could not find `postgres` in `{{root}}`

error[E0433]: failed to resolve. Could not find `std` in `{{root}}`
 --> src/lib.rs:9:17
  |
9 | #[derive(Debug, SqlTable)]
  |                 ^^^^^^^^ Could not find `std` in `{{root}}`

error[E0412]: cannot find type `Table` in this scope
 --> src/lib.rs:9:17
  |
9 | #[derive(Debug, SqlTable)]
  |                 ^^^^^^^^ not found in this scope
help: possible candidate is found in another module, you can import it into scope
  |
3 | use Table;
  |

Apakah ada solusi untuk masalah ini?
Terima kasih.

@antoyo Ini adalah konsekuensi dari kebersihan.

Karena ::postgres::types::Type berada pada definisi proc-makro, itu diselesaikan dalam lingkup definisi makro. Secara khusus, itu akan menyelesaikan hal yang sama di mana pun makro dipanggil.

Tidak ada extern crate postgres; di root crate proc-makro, jadi Anda mendapatkan kesalahan resolusi. Hanya menambahkan extern crate postgres; ke root crate proc-macro juga tidak cukup, karena dependensi proc-macro dikompilasi untuk platform host (fase 0), bukan platform target (fase 1) dan ekspansi tidak dapat melihat mereka.

Solusinya di sini adalah menambahkan dependensi target ke peti proc-macro seperti yang dijelaskan di https://github.com/rust-lang/rust/issues/45934#issuecomment -344497531 .

Untuk saat ini, Anda perlu memasukkan extern crate postgres; dalam ekspansi makro. Karena kebersihan, ini tidak akan bertentangan dengan apa pun yang bernama postgres di situs doa, tidak akan memengaruhi resolusi argumen makro, dll. Misalnya:

            quote! {
                extern crate std;
                extern crate postgres;
                use std::io::Write;
                use postgres::types::{IsNull, ToSql, Type};

                impl ToSql for #table_ident {
                    fn to_sql<W: Write + ?Sized>(&self, ty: &Type, out: &mut W) -> postgres::Result<IsNull> {
                        self.#primary_key_ident.to_sql(ty, out)
                    }

                    fn accepts(ty: &Type) -> bool {
                        match *ty {
                            Type::Int4 => true,
                            _ => false,
                        }
                    }

                    fn to_sql_checked(&self, ty: &Type, out: &mut Write) -> postgres::Result<IsNull> {
                        if !<Self as ToSql>::accepts(ty) {
                            return Err(postgres::error::Error::WrongType(ty.clone()));
                        }
                        self.to_sql(ty, out)
                    }
                }
            }

Atau, Anda dapat membuat ::postgres::types::Type menyelesaikan di situs panggilan (tidak higienis) dengan memberikan Span::call_site() (token dari quote! memiliki Span::def_site() secara default). Segera, spanned_quote!(span, tokens...) akan membuat ini lebih mudah.

Apakah halaman ini membantu?
0 / 5 - 0 peringkat