gpt4 book ai didi

c++ - C++ 自由函数可以别名吗?

转载 作者:塔克拉玛干 更新时间:2023-11-03 01:12:43 26 4
gpt4 key购买 nike

我有一个命名空间,其中包含一个高度模板化的免费函数,例如:

namespace a
{
template<typename T, typename K, typename H>
void f(T t, K k, std::vector<H> h_vec = {})
{ /* body */ }
}

在另一个命名空间中,为了方便起见,我想为它的一些特定用途设置一些别名,例如:

namespace b
{
using my_specific_f = a::f<int,string,char>;
}

这将使我能够为该函数提供更好的命名,因为 f 在我正在处理的代码库中非常通用(请记住,我在这里只提供简化的示例来使点)。但不幸的是,这显然是语言所禁止的。

所以在我的第二次尝试中,我尝试使用函数指针:

namespace b
{
auto my_specific_f = &a::f<int,string,char>
}

这通常会起作用,但在我的例子中它不起作用,因为 f 有一个默认参数,我猜这会导致函数有多个函数指针(在本例中为两个),并且只能使用三参数版本。

此时我只是放弃了,只是让 my_specific_f 将其主体中的调用重定向到 f:

namespace b
{
void my_specific_f(int i, string s, vector<char> v = {} )
{
a::f(i,s,v);
}
}

但我不太喜欢这个解决方案,因为如果 f 将更改其签名,它会导致可维护性降低,因为所有重定向功能都需要协调一致,而我最初的计划是创建不止一个别名。

还有什么我可以尝试的吗?在未来的某个标准版本中是否有可能或将有可能?

最佳答案

您可以做的是将函数包装在一个通用的 lambda 中,这样您就可以为其指定一个自定义名称。你可以这样做

auto my_really_informative_name = [](auto&&... args) -> decltype(auto) { 
return f(std::forward<decltype(args)>(args)...);
};

这完美地将参数转发给 f,如果它的签名发生变化,它仍然可以工作,因为 lambda 可以接受任意数量的参数。

如果你想完美转发(SFINAE方式的noexcecpt限定和返回类型)

auto my_really_informative_name = [](auto&&... args) noexcept(noexcept(f(std::forward<decltype(args)>(args)...))) -> decltype(f(std::forward<decltype(args)>(args)...)) { 
return f(std::forward<decltype(args)>(args)...);
};

如果你想确保传递给函数的类型是特定类型,那么你可以在函数调用中显式指定它们,例如

auto my_really_informative_name = [](auto&&... args) -> decltype(auto) { 
return f<int, std::string, char>(std::forward<decltype(args)>(args)...);
};

关于c++ - C++ 自由函数可以别名吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/55406276/

26 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com