Const generic 无约束泛型常量

Question

我有一个有趣的案例，我不太明白。

我试图在迭代中不断地打开一些代码。整个迭代期间的条件是相同的，因此我尝试使用 const generic bools 来代替常规的 if else 。

一个最小的例子是这样的：

#![allow(incomplete_features)]
#![feature(generic_const_exprs)]

use const_assert::{Assert, IsTrue};

enum XorY {
    X,
    Y
}

fn foo(count: usize, do_special: Option<XorY>) {
    match do_special {
        Some(XorY::X) => foo_inner::<true, false>(count),
        Some(XorY::Y) => foo_inner::<false, true>(count),
        _ => foo_inner::<false, false>(count),
    }
}

const fn constraint(x: bool, y: bool) -> bool {
    !(x && y)
}

fn foo_inner<const X: bool, const Y: bool>(count: usize)
    where Assert<{constraint(X, Y)}> : IsTrue
{
    for i in 0..(count - 1)
    {
        foo_iter::<false, Y>(i);
    }

    foo_iter::<X, Y>(i);
}

fn foo_iter<const X: bool, const Y: bool>(index: usize)
    : where Assert<{constraint(X, Y)}> : IsTrue
{        
    if X {
        // do x stuff with index
    }
    else if Y {
        // do y stuff with index
    }
    else {
        // do default stuff with index
    }
}

但是我收到“无约束通用常量”错误。

error: unconstrained generic constant
   |
   |         foo_iter::<false, Y>(
   |                    ^^^^^
   |
note: required by a bound in `foo_iter`
   |
   | fn foo_iter<const X: bool, const Y: bool>(
   |    -------- required by a bound in this function
...
   |     where Assert<{ constraint(X, Y) }> : IsTrue
   |                  ^^^^^^^^^^^^^^^^^^^ required by this bound in `foo_iter`
help: try adding a `where` bound
   |
   |     where Assert<{ constraint(X, Y) }> : IsTrue, [(); { constraint(X, Y) } as usize]:
   |                 

我不明白为什么 false 会不受约束。 另外，这个建议不起作用。

Answer 1

编译器不会对 const 泛型进行任何类型的分析（这种分析通常也是不可能的）。因此，除非所有值都已知，否则它要求每个约束每次都出现。你必须重复约束：

fn foo_inner<const X: bool, const Y: bool>(count: usize)
where
    Assert<{ constraint(X, Y) }>: IsTrue,
    Assert<{ constraint(false, Y) }>: IsTrue,
{ ... }