clap-rs / clap

A full featured, fast Command Line Argument Parser for Rust
docs.rs/clap
Apache License 2.0
14.34k stars 1.05k forks source link

Combining `ArgAction::Count` and `TypedValueParser::map` doesn't seem to work. #5804

Open mkrasnitski opened 3 weeks ago

mkrasnitski commented 3 weeks ago

Please complete the following tasks

Rust Version

rustc 1.82.0 (f6e511eec 2024-10-15)

Clap Version

4.5.19

Minimal reproducible code

use clap::{ArgAction, Parser};
use clap::builder::TypedValueParser;

#[derive(Parser)]
struct Config {
    #[clap(
        short = 'c',
        action = ArgAction::Count, 
        value_parser = clap::value_parser!(u8).map(CleanLevel::from_val)
    )]
    clean: Option<CleanLevel>
}

#[derive(Clone)]
enum CleanLevel {
    Untracked,
    All,
}

impl CleanLevel {
    fn from_val(val: u8) -> Option<Self> {
        match val {
            0 => None,
            1 => Some(CleanLevel::Untracked),
            2.. => Some(CleanLevel::All),
        }
    }
}

fn main() {
    let config = Config::parse();
    let _ = config.clean;
}

playground: https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=ba6ae5eae9e9514d276dc40d5479cf5e

Steps to reproduce the bug with the above code

cargo run

Actual Behaviour

At runtime, clap panics with the following message:

thread 'main' panicked at /playground/.cargo/registry/src/index.crates.io-6f17d22bba15001f/clap_builder-4.5.19/src/builder/debug_asserts.rs:696:9:
assertion `left == right` failed: Argument `clean`'s selected action Count contradicts `value_parser` (ValueParser::other(core::option::Option<playground::CleanLevel>))
  left: u8
 right: core::option::Option<playground::CleanLevel>

Expected Behaviour

I would expect that the value parser is called to produce a u8 and then CleanLevel::from_val is called on the parsed value to map to an Option<CleanLevel>. It seems the sequence of events in parsing is somehow wrong, or maybe I'm misunderstanding how MapValueParser works.

Additional Context

The alternative solution is to make use of an intermediate struct and a method on that struct, like so:

use clap::{ArgAction, Args, Parser};

#[derive(Parser)]
struct Config {
    #[clap(flatten)]
    clean: Clean,
}

#[derive(Args, Clone)]
struct Clean {
    #[clap(short = 'c', action = ArgAction::Count)]
    count: u8
}

impl Clean {
    fn level(&self) -> Option<CleanLevel> {
        match self.count {
            0 => None,
            1 => Some(CleanLevel::Untracked),
            2.. => Some(CleanLevel::All),
        }
    }
}

enum CleanLevel {
    Untracked,
    All,
}

fn main() {
    let config = Config::parse();
    let _ = config.clean.level();
}

However, this introduces extra clutter and indirection. It would be great to avoid using an intermediate representation.

Debug Output

No response

epage commented 2 weeks ago

When you pass clap::value_parser!(u8).map(CleanLevel::from_val to clap, you are passing in an adapter from an OsStr to a CleanLevel. The intermediate u8 is transient and never shared with clap and clap doesn't know how to increment CleanLevel.

For this to work, we'd need to do one of the following

As for workarounds...

We take the "intermediate" struct approach in https://docs.rs/clap-verbosity-flag/latest/clap_verbosity_flag/

The conversion can also be a helper method on Config which I do for other types of data in my CLIs.

mkrasnitski commented 2 weeks ago

The intermediate u8 is transient and never shared with clap and clap doesn't know how to increment CleanLevel.

This seems solvable by introducing a trait called something like Counter, with an increment method, like you mentioned. In the case of CleanLevel, the state machine implements a kind of saturating addition, and auto-implementing this functionality would be hard via #[derive(Counter)], but a manual implementation would work fine. Default implementations for integers and potentially one for Option<T> (0 => None) would work well IMO.

However, this is a fairly specialized operation and doesn't scale to other needs

Could you elaborate on this point? Yes, likely this new trait would be closely coupled to ArgAction::Count, but that could be made clear with a good name. Arguably this is a relatively simple generalization to make to allow using arbitrary types as counters, enabling better state machines while staying pretty self-contained.

epage commented 2 weeks ago

This seems solvable by introducing a trait called something like Counter, with an increment method, like you mentioned. In the case of CleanLevel, the state machine implements a kind of saturating addition, and auto-implementing this functionality would be hard via #[derive(Counter)], but a manual implementation would work fine. Default implementations for integers and potentially one for Option (0 => None) would work well IMO.

We are effectively operating on a Box<Any> for the intermediate state due to the dynamic nature of clap. We can't easily access a trait like Counter.

Could you elaborate on this point? Yes, likely this new trait would be closely coupled to ArgAction::Count, but that could be made clear with a good name. Arguably this is a relatively simple generalization to make to allow using arbitrary types as counters, enabling better state machines while staying pretty self-contained.

I was specifically referring to baking in the information for this behavior in ValueParser which is what has knowledge of the concrete type. This is unrelated to a "new trait" solution.