質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
86.12%
Generics

Genericsはパラメトリックなポリモーフィズムの形態であり、.NET やJavaなど、様々な言語に実装されています。C++のテンプレートと同等の機能を持ち合わせています。

Rust

Rustは、MoFoが支援するプログラミング言語。高速性を維持しつつも、メモリ管理を安全に行うことが可能な言語です。同じコンパイル言語であるC言語やC++では困難だったマルチスレッドを実装しやすく、並行性という点においても優れています。

解決済

Rustでconst Genericについて"unconstrained generic const"エラーを解消したい

hidekiti
hidekiti

総合スコア23

Generics

Genericsはパラメトリックなポリモーフィズムの形態であり、.NET やJavaなど、様々な言語に実装されています。C++のテンプレートと同等の機能を持ち合わせています。

Rust

Rustは、MoFoが支援するプログラミング言語。高速性を維持しつつも、メモリ管理を安全に行うことが可能な言語です。同じコンパイル言語であるC言語やC++では困難だったマルチスレッドを実装しやすく、並行性という点においても優れています。

1回答

0リアクション

0クリップ

746閲覧

投稿2021/08/15 13:26

編集2021/08/16 01:57

環境

  • rustc: 1.56.0-nightly

エラーメッセージ

unconstrained generic constant try adding a `where` bound using this expression: `where [(); 2*TRGSW::<N>::L]:`

ソースコード

rust

pub struct TRGSW<const N: usize>;// この型を使った関数呼び出しで配列サイズを確定するためのconstGeneric impl<const N: usize> TRGSW<N> { const BGBIT: u32 = 6; const BG: usize = 2_i32.pow(TRGSW::BGBIT) as usize; const BG_INV: f32 = 1.0 / (TRGSW::BG as f32); const L: usize = 3; pub fn new() -> Self { TRGSW::<N> } pub fn binary_pol2u32_pol<const M: usize>(pol: Polynomial<Binary, M>) -> Polynomial<u32, M> { pol!(array![ i => pol.coef_(i).to_u32().unwrap() ;M]) } fn u32_pol2binary_pol<const M: usize>(pol: Polynomial<u32, M>) -> Polynomial<Binary, M> { pol!(array![ i => Binary::from(pol.coef_(i)) ; M]) } } impl<const N: usize> CryptoCore for TRGSW<N> { // ここで例のエラーが出る。 type Representation = Encrypted< [Polynomial<Torus, N>; 2*TRGSW::<N>::L], [Polynomial<Torus, N>; 2*TRGSW::<N>::L], >; }

やったこと

2*TRGSW::<N>::Lを上で宣言した定数を計算したものに置き換えるとエラーはなくなる。

rust

type Representation = Encrypted< [Polynomial<Torus, N>; 2*3], [Polynomial<Torus, N>; 2*3], >;

以下のような質問にはリアクションをつけましょう

  • 質問内容が明確
  • 自分も答えを知りたい
  • 質問者以外のユーザにも役立つ

リアクションが多い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

気になる質問をクリップする

クリップした質問は、後からいつでもマイページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

下記のような質問は推奨されていません。

  • 間違っている
  • 質問になっていない投稿
  • スパムや攻撃的な表現を用いた投稿

適切な質問に修正を依頼しましょう。

blackenedgold

2021/08/18 10:13

掲載のコードだとpol!など未定義のアイテムによりコンパイルが通らないのですが、問題が再現する完全なソースコードの掲載をお願いできないでしょうか

まだ回答がついていません

会員登録して回答してみよう

アカウントをお持ちの方は

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
86.12%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問

同じタグがついた質問を見る

Generics

Genericsはパラメトリックなポリモーフィズムの形態であり、.NET やJavaなど、様々な言語に実装されています。C++のテンプレートと同等の機能を持ち合わせています。

Rust

Rustは、MoFoが支援するプログラミング言語。高速性を維持しつつも、メモリ管理を安全に行うことが可能な言語です。同じコンパイル言語であるC言語やC++では困難だったマルチスレッドを実装しやすく、並行性という点においても優れています。