Início / coding / Perguntas / 78547900
Accepted
Nick
Asked: 2024-05-29 15:16:59 +0800 CST

expanda o pacote de parâmetros com operação booleana

  • 772

Tentei fazer uma função que verifica se o argumento corresponde a valores específicos.

Acho que sei como fazer isso com recursão ou std::initializer_list, mas quero fazer isso com fold. Aqui está o código que não funciona:

template<typename T, T ...ts>
constexpr bool is_in(T value){
    return (ts == value) || ... || (false);
}

int main(){
    if constexpr(is_in<int, 1, 2, 3>(1))
        return 10;

}

Também gostaria de me livrar da especificação do tipo, se possível (por exemplo, o <int>)

Quer solução em C++ 17, mas C++ 20 também seria interessante de ver.

c++

3 respostas

  1. Best Answer

    As expressões de dobra devem ser colocadas entre (...): return ((ts == value) || ... || (false));.

    Além disso, você pode descartar || false, está implícito para ||dobras.

    Também gostaria de me livrar da especificação do tipo, se possível (por exemplo, o <int>)

    Você pode fazer isso substituindo <typename T, T ...ts>por, por exemplo <auto ...ts, typename T>.

    Mas se eu fosse você, passaria todas as alternativas como parâmetros de função (para permitir que fossem alteradas em tempo de execução).

    • 4

  2. Você só precisa colocar toda a expressão entre parênteses, conforme mostrado abaixo:

    template<typename T, T ...ts>
constexpr bool is_in(T value){
//---------v-------------------------------v--->added parnthesis 
    return ((ts == value) || ... || (false));
}

    Demonstração de trabalho

    alguma ideia de como me livrar de T

    Sim, você também pode usar o tipo de espaço reservado auto para fazê-lo funcionar sem especificar explicitamente, intsubstituindo <typename T, T ...ts>por<auto ...ts, typename T>

    • 1

  3. Por sugestão do @HolyBlackCat, aqui está a versão com parâmetros da própria função. Parece muito claro e elimina a especificação do arquivo <T>.

    template<typename T, T ...ts>
constexpr bool is_in1(T value){
    static_assert(sizeof...(ts) > 0);
    return ((ts == value) || ...);
}

template<typename T, typename ...Ts>
constexpr bool is_in2(T value, Ts... ts){
    static_assert(sizeof...(ts) > 0);
    return ((ts == value) || ...);
}

int main(){
    if constexpr(is_in1<int, 3,4,5,1>(1)){
    //    return 20;
    }

    if constexpr(is_in2(1, 3,4,5,1))
        return 10;

}
    • 1

relate perguntas