我想调用一个函数模板如下图所示
#include <iostream>
#include <type_traits>
#include <typeinfo>
using namespace std;
struct size1 { size1() {std::cout << "Caling 1 \n";}};
struct size2 { size2() {std::cout << "Caling 2 \n";}};
template <typename T, typename std::conditional_t<sizeof(T) == 4, size1, size2> U>
void afficher(T a)
{
std::cout << typeid(U).name();
}
int main(int argc, char *argv[])
{
afficher(10); //Error can't deduct U
}
我认为,在这里我有一个不计免赔情况下,我怎么可能纠正和
是否可以将这里使用std ::有条件或使用std :: enable_if?
谢谢。
你已经有了一个语法问题,没有别的:
template <typename T, typename U = std::conditional_t<sizeof(T) == 4, size1, size2>>
void afficher(T a) // ^^^^
{
std::cout << typeid(U).name();
}
正如Jarod42在评论中指出,这允许用户绕过您的意图,并以第二个参数做什么。你可以使用一个typedef来代替:
template <typename T>
void afficher(T a)
{
using U = std::conditional_t<sizeof(T) == 4, size1, size2>>;
std::cout << typeid(U).name();
}