cargo-equip

English

競技プログラミング用にRustコードを一つの.rsファイルにバンドルするCargoサブコマンドです。

更新情報

更新情報はCHANGELOG.mdにあります。 また同一の内容がGitHubのリリースページにあります。

機能

• 複数のクレートのバンドル
• cargo-udepsにより使っているライブラリだけバンドル
• 一部のクレートを除外 (--exclude-{atcoder, codingame}-crates),
• 手続き型マクロの展開 (bin内のみ)
• #[macro_export]のスコープを保持
• #[cfg(..)]の解決
• コメントおよびdocコメントの削除 (--remove)
• minify機能 (--minify)
• 生成物をコンパイルが通るかチェック

例

Sqrt Mod - Library-Cheker

```toml [package] name = "library-checker" version = "0.0.0" edition = "2018"

[dependencies] ac-library-rs-parted-modint = { git = "https://github.com/qryxip/ac-library-rs-parted" } proconio = { version = "0.4.3", features = ["derive"] } qryxip-competitive-tonelli-shanks = { git = "https://github.com/qryxip/competitive-programming-library" }

...

```

```rust use aclmodint::ModInt; use proconio::{fastout, input}; use tonellishanks::ModIntBaseExt as _;

[fastout]

fn main() { input! { yps: [(u32, u32)], }

for (y, p) in yps {
    ModInt::set_modulus(p);
    if let Some(x) = ModInt::new(y).sqrt() {
        println!("{}", x);
    } else {
        println!("-1");
    }
}

}

mod sub { // You can also use the crate in submodules.

#[allow(unused_imports)]
use proconio::input as _;

} ```

↓

```console ❯ cargo equip \

  --remove docs `# doc commentを除去` \
  --minify libs `# ライブラリをそれぞれ一行にminify` \
  --bin sqrt_mod `# binクレートを指定` | xsel -b

```

Submit Info #59239 - Library-Checker

動作するクレート

• [x] [fixedbitset 0.4.0](https://docs.rs/crate/fixedbitset/0.4.0)
• [x] [lazystatic 1.4.0](https://docs.rs/crate/lazystatic/1.4.0)
• [x] [maplit 1.0.2](https://docs.rs/crate/maplit/1.0.2)
• [x] [memoise 0.3.2](https://docs.rs/crate/memoise/0.3.2)
• [x] [multimap 0.8.3](https://docs.rs/crate/multimap/0.8.3)
• [x] [permutohedron 0.2.4](https://docs.rs/crate/permutohedron/0.2.4)
• [x] [proconio 0.4.3](https://docs.rs/crate/proconio/0.4.3)
• [x] [rustc-hash 1.1.0](https://docs.rs/crate/rustc-hash/1.1.0)
• [x] [smallvec 1.6.1](https://docs.rs/crate/smallvec/1.6.1)
• [x] [strsim 0.10.0](https://docs.rs/crate/strsim/0.10.0)
• [x] [whiteread 0.5.0](https://docs.rs/crate/whiteread/0.5.0)

インストール

nightlyツールチェインとcargo-udepsもインストールしてください。

console ❯ rustup update nightly

console ❯ cargo install cargo-udeps

Crates.ioから

console ❯ cargo install cargo-equip

masterブランチから

console ❯ cargo install cargo-equip --git https://github.com/qryxip/cargo-equip

GitHub Releases

バイナリでの提供もしています。

使い方

cargo-equipで展開できるライブラリには以下の制約があります。

1. editionは"2018"にする。

   "2015"はサポートしません。

2. libクレートからは手続き型マクロを利用しない。

   libクレートからの手続き型マクロの利用は今のところサポートしていません。pub useすることは問題ありません。

3. #[macro_export]しないマクロの中ではcrateではなく$crateを使う。

   macro_rules!内の$crateは$crate::extern_crate_name_in_main_crateに置き換えられます。 macro_rules!内のcrateは置き換えられません。

4. 3.以外の場合も可能な限り絶対パスを使わない。

   cargo-equipはpathのcrateはcrate::extern_crate_name_in_main_crateに、pub(crate)はpub(in crate::extern_crate_name_in_main_crate)に置き換えます。

   ただしこの置き換えは必ず上手くいくかどうかがわかりません。 できる限りcrate::よりもself::とsuper::を使ってください。

   diff -use crate::foo::Foo; +use super::foo::Foo;

5. 可能な限りglob importを使わない。

   cargo-equipはextern preludeや#[macro_use]を再現するためにglob importを挿入します。 glob importを使うとこれと衝突する可能性があります。

6. 可能な限りライブラリを小さなクレートに分割する。

   cargo-equipは「クレート内のアイテムの依存関係」を調べることはしません。 AtCoder以外に参加する場合は、出力結果を制限内(たいてい64KiB程度)に収めるためにできるだけ小さなクレートに分割してください。

   console . ├── a │ ├── Cargo.toml │ └── src │ └── lib.rs ├── b │ ├── Cargo.toml │ └── src │ └── lib.rs ⋮

ライブラリが用意できたら、それらをbin/example側のCargo.tomlの[dependencies]に加えてください。 コンテスト毎にツールでパッケージを自動生成しているならそれのテンプレートに加えてください。

rust-lang-ja/ac-library-rsを使いたい場合、qryxip/ac-library-rs-partedを使ってください。 本物のac-library-rsを加工したクレートです。

toml [dependencies] ac-library-rs-parted = { git = "https://github.com/qryxip/ac-library-rs-parted" } ac-library-rs-parted-convolution = { git = "https://github.com/qryxip/ac-library-rs-parted" } ac-library-rs-parted-dsu = { git = "https://github.com/qryxip/ac-library-rs-parted" } ac-library-rs-parted-fenwicktree = { git = "https://github.com/qryxip/ac-library-rs-parted" } ac-library-rs-parted-lazysegtree = { git = "https://github.com/qryxip/ac-library-rs-parted" } ac-library-rs-parted-math = { git = "https://github.com/qryxip/ac-library-rs-parted" } ac-library-rs-parted-maxflow = { git = "https://github.com/qryxip/ac-library-rs-parted" } ac-library-rs-parted-mincostflow = { git = "https://github.com/qryxip/ac-library-rs-parted" } ac-library-rs-parted-modint = { git = "https://github.com/qryxip/ac-library-rs-parted" } ac-library-rs-parted-scc = { git = "https://github.com/qryxip/ac-library-rs-parted" } ac-library-rs-parted-segtree = { git = "https://github.com/qryxip/ac-library-rs-parted" } ac-library-rs-parted-string = { git = "https://github.com/qryxip/ac-library-rs-parted" } ac-library-rs-parted-twosat = { git = "https://github.com/qryxip/ac-library-rs-parted" }

準備ができたらコードを書いてください。 bin/example側の制約は以下の2つです。

1. 手続き型マクロを利用する場合、マクロ名が被らないようにproc-macroクレートを選択する。

   Rustのモジュールグラフを解析することは困難極まるため、手続き型マクロについてはプレフィックス抜きのマクロ名のみを頼りに展開します。 proc-macroクレートの跡地にはダミーのアイテムを展開するため、通常のプログラミングのように手続き型マクロをuseしても問題はありません。

   もしuseすることで問題が起きるなら、#[macro_use] extern crate crate_name as _;でインポートすることで、 これはuse crate::crate_name::__macros::*;に置き換えられます。

   cargo-equipはextern preludeや#[macro_use]を再現するためにglob importを挿入します。 glob importを使うとこれと衝突する可能性があります。

2. 可能な限りglob importを使わない。

   ライブラリ同様にglob importを挿入します。

   ```rust pub use _cargoequip::prelude::*;

   // ︙

   pub mod _cargoequip { pub mod crates { // ︙ } // ︙

   pub(crate) prelude {
       pub use crate::__cargo_equip::crates::*;
   }
   

   } ```

```rust use input::input; use mic::answer; use partition_point::RangeBoundsExt as _;

[answer(join("\n"))]

fn main() -> _ { input! { a: [u64], } a.intoiter() .map(|a| (1u64..1000000000).partition_point(|ans| ans.pow(2) < a)) } ```

コードが書けたらcargo equipで展開します。 --bin {binの名前}か--example {exampleの名前}、または--src {binのファイルパス}でbin/exampleを指定してください。 パッケージ内のbin/exampleが一つの場合は省略できます。 ただしdefault-runには未対応です。

console ❯ cargo equip --bin "$name"

#[cfg(…)]の解決

cargo-equipはデフォルトで

1. #[cfg(恒真)] (e.g. cfg(feature = "enabled-feature"))のアトリビュートを消去します。
2. #[cfg(恒偽)] (e.g. cfg(test), cfg(feature = "disable-feature"))のアトリビュートが付いたアイテムを消去します。

これは次の割り当てで判定されます。

• test: false
• proc_macro: false
• cargo_equip: true
• feature: bin/example側から見て有効化されているもののみtrue
• それ以外: 不明

```rust

[allow(dead_code)]

pub mod a { pub struct A;

#[cfg(test)]
mod tests {
    #[test]
    fn it_works() {
        assert_eq!(2 + 2, 4);
    }
}

} ```

↓

```rust

[allow(dead_code)]

pub mod a { pub struct A; } ```

出力をcargo check

cargo-equipはデフォルトでバンドルしたコードを出力する前にtarget directoryを共有した一時パッケージを作り、それの上でcargo checkします。

console Checking cargo-equip-check-output-6j2i3j3tgtugeaqm v0.1.0 (/tmp/cargo-equip-check-output-6j2i3j3tgtugeaqm) Finished dev [unoptimized + debuginfo] target(s) in 0.11s

手続き型マクロの展開

cargo-equipは手続き型マクロを展開する機能を持っています。

```rust use memoise::memoise; use proconio_derive::fastout;

[fastout]

fn main() { for i in 0..=10 { println!("{}", fib(i)); } }

[memoise(n <= 10)]

fn fib(n: i64) -> i64 { if n == 0 || n == 1 { return n; } fib(n - 1) + fib(n - 2) } ```

• rust-analyzer(.exe)は自動でダウンロードされます。
• proc-macroクレートは1.47.0以上のRustでコンパイルされる必要があります。 現在のツールチェインが1.47.0未満である場合、1.47.0以上のツールチェインを探してそれでコンパイルします。
• pub use $name::*;でre-exportedされた手続き型マクロも展開することができます。

オプション

--remove <REMOVE>...

1. --remove docsでDoc comment (//! .., /// .., /** .. */, #[doc = ".."])を
2. --remove commentsでコメント (// .., /* .. */)を

除去します。

```rust

[allow(dead_code)]

pub mod a { //! A.

/// A.
pub struct A; // aaaaa

} ```

↓

```rust

[allow(dead_code)]

pub mod a { pub struct A; } ```

--minify <MINIFY>

--minify libで展開後のライブラリをそれぞれ一行に折り畳みます。 --minify allでコード全体を最小化します。

ただ現段階では実装が適当なのでいくつか余計なスペースが挟まる場合があります。

--no-resolve-cfgs

#[cfg(…)]を解決しません。

--no-rustfmt

出力をRustfmtでフォーマットするのをスキップします。

--no-check

出力をcargo checkにかけるのをスキップします。

ライセンス

MIT or Apache-2.0のデュアルライセンスです。