Início / coding / Perguntas / 78905564
Accepted
tmlen
Asked: 2024-08-23 18:58:50 +0800 CST

Usando SFINAE no construtor, para verificar se existe um construtor de um tipo de membro

  • 772
#include <string>
#include <type_traits>

struct A {
    A(int) {}
};

template<typename... Args>
auto make_A(const Args&... args) -> decltype(A(args...)) {
    return A(args...);
}

struct B {
    template<typename... Args
        //std::enable_if ?
    >
    B(const Args&... args) : a(args...) { } 
    
    A a;
};


int main() {
    A a1 = make_a(123);
    //A a2 = make_a(std::string("123")); // no make_a<std::string>
    
    B b1(123); // ok 
    B b2(std::string("123")); // fails because A(std::string) does not exist,
                              // but should fail already because there is no B(std::string)
}

Assim, o código Asó pode ser construído com um intargumento.

make_ausa SFINAE, para que make_a<Args...>só seja instanciado quando A::A(Args...)existir. Ele faz isso usando decltype()o tipo de retorno, onde argsestá disponível.

Também é possível restringir o construtor de modelo B::B<Args...>de maneira semelhante? Aqui, a expressão de acionamento do SFINAE só pode estar nos argumentos do modelo.

c++

1 respostas

  1. Best Answer

    Em C++20 você pode fazer isso com uma restrição e uma expressão requer:

    struct B {
    B(const auto&... args) requires(requires { A(args...); }) : a(args...) { }
    A a;
};

    Ou se não quiser usar o especificador noexcept, você não terá acesso argse poderá usar std::declval<const Args&>():

    template<typename... Args,
         decltype(static_cast<void>(A(std::declval<const Args&>()...)), nullptr) = nullptr>
B(const Args&... args) : a(args...) { }
    • 1

relate perguntas