0

ESP32-S3 + esp-halを使ってRustで組み込み開発をしています。
gpio1,2の電圧をADコンバータを使って取得する構造体を作りたいです。以下のように実装してみましたが、ビルドエラーとなります。

#![no_std]
#![no_main]

use esp_backtrace as _;
use esp_println::println;

use embedded_hal::adc::{
    Channel,
    OneShot,
};

use esp32s3_hal::{
    clock::ClockControl,
    peripherals::Peripherals,
    prelude::*,
    timer::TimerGroup,
    Rtc,
    gpio::IO,
    adc::{AdcConfig, Attenuation, ADC, ADC1, RegisterAccess, AdcPin},
};

struct Sensors<SENADC, ANALOG1, ANALOG2> {
    adc: SENADC,
    pin1: ANALOG1,
    pin2: ANALOG2,
}

impl<SENADC, PIN1, PIN2, ADCI> Sensors<SENADC, AdcPin<PIN1, ADCI>, AdcPin<PIN2, ADCI>>
    where
        SENADC: OneShot<ADCI, u16, AdcPin<PIN1, ADCI>>,
        PIN1: Channel<ADCI, ID = u8>,
        PIN2: Channel<ADCI, ID = u8>,
        ADCI: RegisterAccess, {
    
    pub fn new( adc: SENADC,
                pin1: AdcPin<PIN1, ADCI>,
                pin2: AdcPin<PIN2, ADCI>) -> Self  {
        Sensors {adc: adc, pin1: pin1, pin2: pin2}
    }

    pub fn read(&mut self) -> (u16, u16) {
        let v1 = match nb::block!(self.adc.read(&mut self.pin1)){
            Ok(value) => value,
            Err(_) => 0,
        };

        let v2 = match nb::block!(self.adc.read(&mut self.pin2)){
            Ok(value) => value,
            Err(_) => 0,
        };
        (v1, v2)
    }
}


#[entry]
fn main() -> ! {
    let peripherals = Peripherals::take();
    let mut system = peripherals.SYSTEM.split();
    let clocks = ClockControl::boot_defaults(system.clock_control).freeze();

    let mut rtc = Rtc::new(peripherals.RTC_CNTL);
    let timer_group0 = TimerGroup::new(
        peripherals.TIMG0,
        &clocks,
        &mut system.peripheral_clock_control,
    );
    let mut wdt = timer_group0.wdt;

    wdt.disable();
    rtc.rwdt.disable();

    let io = IO::new(peripherals.GPIO, peripherals.IO_MUX);

    let analog = peripherals.SENS.split();

    let mut adc1_config = AdcConfig::new();

    let mut pin1 = adc1_config.enable_pin(io.pins.gpio1.into_analog(), Attenuation::Attenuation11dB);
    let mut pin2 = adc1_config.enable_pin(io.pins.gpio2.into_analog(), Attenuation::Attenuation11dB);
    let mut adc1 = ADC::<ADC1>::adc(analog.adc1, adc1_config).unwrap();

    let mut sensors = Sensors::new(adc1, pin1, pin2);
    let (value1, value2) = sensors.read();
    println!("{}, {}",value1, value2);

    loop {}
}

エラー内容(抜粋)は以下のとおりです。

error[E0308]: mismatched types
  --> src/main.rs:47:49
   |
28 | impl<SENADC, PIN1, PIN2, ADCI> Sensors<SENADC, AdcPin<PIN1, ADCI>, AdcPin<PIN2, ADCI>>
   |              ----  ---- found type parameter
   |              |
   |              expected type parameter
...
47 |         let v2 = match nb::block!(self.adc.read(&mut self.pin2)){
   |                                            ---- ^^^^^^^^^^^^^^ expected `&mut AdcPin<PIN1, ADCI>`, found `&mut AdcPin<PIN2, ADCI>`
   |                                            |
   |                                            arguments to this method are incorrect
   |
   = note: expected mutable reference `&mut AdcPin<PIN1, ADCI>`
              found mutable reference `&mut AdcPin<PIN2, ADCI>`
   = note: a type parameter was expected, but a different one was found; you might be missing a type parameter or trait bound
   = note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters
note: method defined here
  --> /home/k-iida/.cargo/registry/src/index.crates.io-6f17d22bba15001f/embedded-hal-0.2.7/src/adc.rs:97:8
   |
97 |     fn read(&mut self, pin: &mut Pin) -> nb::Result<Word, Self::Error>;
   |        ^^^^

For more information about this error, try `rustc --explain E0308`.

OneShotに与えているPINがPIN1なので、このエラーは当然かと思います。しかしpin1とpin2(つまり、gpio1とgpio2)では型が異なるため以下のように書くこともできません。

struct Sensors<SENADC, ANALOG> {
    adc: SENADC,
    pin1: ANALOG,
    pin2: ANALOG,
}

impl<SENADC, PIN, ADCI> Sensors<SENADC, AdcPin<PIN2, ADCI>>
    where
        SENADC: OneShot<ADCI, u16, AdcPin<PIN, ADCI>>,
        PIN: Channel<ADCI, ID = u8>,
        ADCI: RegisterAccess, {
...

一方で、構造体を使わずに以下のように書けばビルドエラーにはなりません。

    let mut pin1 = adc1_config.enable_pin(io.pins.gpio1.into_analog(), Attenuation::Attenuation11dB);
    let mut pin2 = adc1_config.enable_pin(io.pins.gpio2.into_analog(), Attenuation::Attenuation11dB);
    let mut adc1 = ADC::<ADC1>::adc(analog.adc1, adc1_config).unwrap();

    let value1:u16 = adc1.read(&mut pin1).unwrap();
    let value2:u16 = adc1.read(&mut pin2).unwrap();
    println!("{}, {}",value1, value2);

ジェネリクスに関する何かを私が勘違いしているのだと思うのですが、このエラーを回避するにはどうすればよいのでしょうか。

追記(23/07/12 14:00):
この問題の再現に必要なコードは以下のリポジトリ/ブランチに有ります。
https://github.com/elkel53930/micromouse-esp32/tree/stack_overflow

3
  • 手元でエラーが再現できるかやってみたいので、ビルドに必要な情報、たとえば、Cargo.toml、.cargo/config.toml、build.rs(もしあれば)の内容を質問に追加してもらますか? Commented 2023年7月12日 1:25
  • @TatsuyaKawano 返信ありがとうございます。 以下のリポジトリ/ブランチにこの問題が発生するコードをpushしました。 github.com/elkel53930/micromouse-esp32/tree/stack_overflow よろしくおねがいします。 Commented 2023年7月12日 4:58
  • ありがとうございます。手元で再現させるところまでできました。 Commented 2023年7月12日 15:26

1 件の回答 1

0

OneShotに与えているPINがPIN1なので、このエラーは当然かと思います。しかしpin1とpin2(つまり、gpio1とgpio2)では型が異なるため

一方で、構造体を使わずに以下のように書けばビルドエラーにはなりません。

adc1の具象型は問題なく、ジェネリクスにしたときだけ問題が起きるので、型パラメータSENADCのトレイト境界に問題があると考えられます。

以下のようにSENADCPIN2に対するOneShotも追加したところ、コンパイルできるようになりました。

impl<SENADC, PIN1, PIN2, ADCI> Sensors<SENADC, AdcPin<PIN1, ADCI>, AdcPin<PIN2, ADCI>>
    where
        SENADC: OneShot<ADCI, u16, AdcPin<PIN1, ADCI>> + OneShot<ADCI, u16, AdcPin<PIN2, ADCI>>,
        PIN1: Channel<ADCI, ID = u8>,
        PIN2: Channel<ADCI, ID = u8>,
        ADCI: RegisterAccess, {
1
  • ありがとうございます。私の環境でも同じ方法で解決することを確認できました。複数のジェネリック境界の指定は、こうやって使うものなのですね。大変勉強になりました。 Commented 2023年7月14日 0:29

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。