代码之家 › 专栏 › 技术社区 › rad i

不明确的函数模板

enable-if templates c++

rad i · 技术社区 · 7 年前

如果应用于返回类型,我想通过enable_选择一个特定的函数模板。

一个简单的例子是区分有符号和无符号参数。

#include <iostream>
#include <type_traits>

template<typename T>
typename std::enable_if<std::is_signed_v<T>, bool>
foo(T t)
{
  return true;
}

template<typename T>
typename std::enable_if<!std::is_signed_v<T>, bool>
foo(T t)
{
  return false;
}

int main(){
  std::cout << foo<uint32_t>(42) << std::endl;

  return 0;
}

这里我得到编译器错误: call of overloaded âfoo<uint32_t>(int)â is ambiguous std::cout << foo<uint32_t>(42) << std::endl;

我知道如果我用 foo(42) 因为42可以转换成有符号的无符号。但是,如果像我的示例那样显式地指定template参数,我希望它能够工作。

我的代码有什么问题,我该如何解决?

2 回复 | 直到 7 年前

Tyker 7 年前

你错过了 ::type 在你的最后 enable_if 所以即使条件为假也不会出错

你可以用 enable_if_t 或添加 ●类型 喜欢

typename std::enable_if<std::is_signed_v<T>, bool>::type

Marco A. 7 年前

泰克已经回答你失踪了 ::type 从 enable_if .

顺便说一句,你可以通过使用 std::enable_if_t ( since C++14 )

template<typename T>
std::enable_if_t<std::is_signed_v<T>, bool>
foo(T t)
{
  return true;
}

template<typename T>
std::enable_if_t<!std::is_signed_v<T>, bool>
foo(T t)
{
  return false;
}

推荐文章

sungjun cho · 函数模板重叠多个匹配项

8 月前

Kaiyakha · 模板模板部分专业化

9 月前

Amaterastis · 基类接受子类和内部子类的模板参数

9 月前

111111 · 确定作为模板参数传递的函数的参数类型

9 月前

timmy george · 当类具有非constexpr std::array时,如何将std::array.size()用作模板参数

9 月前

Sam · 在LaTeX中将图像添加到预制的投影仪中

9 月前

xmllmx · 在C++20中,是否有一种优雅的方式在编译时对类型进行排序?

9 月前

Giogre · C++:类成员函数的模板特化,与另一个成员函数的不同之处仅在于通过引用而不是值接受参数

9 月前

user416983 · 模板函数成员作为模板参数

9 月前

PyOPTProblem · c++如何模板化模板参数的部分实例化?

10 月前