代码之家 › 专栏 › 技术社区 › Afshin

当方法可用时,如何专门化模板?

templates c++

Afshin · 技术社区 · 3 年前

我想知道当我的类型有一个特定的方法时,我如何能有一个专门的模板。让我们以以下代码为例:

template<typename T, typename... Args>
void foo(T&& arg, Args&&... args) {
    std::cout << "called 1\n";
}

template<typename T, std::enable_if_t<std::is_member_function_pointer_v<decltype(&T::log)>, int> = 0>
void foo(T&& v) {
    v.log();
}

struct Y {
    void log() const {
        std::cout << "called 2\n";
    }
};

int main() {
    foo(1); // <-- print "called 1";
    Y y;
    foo(y); // <-- print "called 2";
}

我应该说这个代码不起作用(第二) foo called 1 )我知道我不能部分地专门化函数调用,但它显示了我所需要的。

你知道我怎样才能做到这一点吗?我应该使用结构来部分专门化,然后使用辅助函数吗?

2 回复 | 直到 3 年前

Jarod42 3 年前

你的情况很好,但是,有了转发参考,

decltype(&T::log) 变成 decltype(&(Y&)::log) 这是无效的。

std::decay 解决您的问题:

template <typename T,
          std::enable_if_t<
              âstd::is_member_function_v<decltype(&std::decay_t<T>::log)>,
              int> = 0>
void foo(T&& v)
{ 
   âv.log();
}

Demo

JeJo 3 年前

你不需要那么冗长;您可以启用另一个 foo

template<typename T>
auto foo(T&& v) -> decltype(v.log(), void())  
{
    v.log();
}

See a Demo )

trailing return type . 你提供 decltype 要计算表达式(1)。 v.log() void() )与 comma operator 分离。如果第一个表达式(即。 v、日志() 福 void void() 表情!

推荐文章

patrick · 从boost::绑定1和2占位符运行make失败。。。?

1 年前

rookie · 检查函数模板的所有参数包参数是否属于int

1 年前

ivaigult · -W转换和隐式字符串到布尔类型转换

1 年前

David Bien · declval<_Xp(&)()>()()-这在下面的上下文中意味着什么?

1 年前

khallad sayed · 在%上,C++表达式必须具有整型或无范围枚举类型

1 年前

rainer · 后台插入程序的初始化

1 年前

Community wiki · 以理智、安全和高效的方式复制文件

1 年前

Shefali Kanaujia · 对C中向量的向量进行排序++

1 年前

Prakritish Ghosh · 现在显示正确输出的函数中的Infix到Postfix错误[重复]

1 年前

Ma Joonyoung · 粗粒度和细粒度链表的时间比较

1 年前