C++11 在 std::is_same 之后调用类型的构造函数以确认其类型

Question

下面的代码无法编译，当我调用 Foo 类型的 func 时它会提示“无法将字符串转换为 int”，而当我调用 Bar 类型的 func 时它会提示“无法将 int 转换为字符串”。我以为我已经使用 std::is_same 来判断类型是 Foo 还是 Bar，为什么这似乎不起作用？执行此操作的更好方法是什么？

class Foo {
  Foo(int foo){}
};

class Bar {
  Bar(string foo){}
};

template<typename T>
void func(){
  if(std::is_same<T, Foo>::value) {
    T t(1);
  } else {
    T t("aaa");
  }
}

func<Foo>();
func<Bar>();

Answer 1

C++ 中没有static if，所以即使不采用分支，代码也必须是可编译的。

你可以通过特化解决这个问题:

template<typename T>
void func(){
    T t("aaa");
}

template<>
void func<Foo>(){
    Foo t(1);
}

Demo