警告:此问题仅限于MSVS
我有这个功能签名:
void do_somthing(std::vector<foo>& bar={});
这两个函数调用之间是否可能有所不同:
首先:
do_something()
第二
std::vector<foo> v;
do_something(v);
换句话说,我想要这样的东西:
void do_somthing(std::vector<foo>& bar={}){
if(/* bar was defaulted*/){
}
else{
}
}
修改 实际代码:
template<class Tinput_iterator>
Tmodel perform_fitting(Tinput_iterator begin_data, Tinput_iterator end_data, std::vector<Tpoint>& inliers = {});
答案 0 :(得分:4)
不,不是直接的。默认参数由调用站点上的编译器替换,没有任何进一步的信息。
但是,有一个简单的解决方案可以实现您的目标:使用重载而不是默认参数。
namespace detail
{
void
do_something_impl(const std::vector<foo>& foos)
{
// Do things that always need to be done…
}
}
void
do_something()
{
// Do things specific to the no-argument case…
detail::do_something_impl({});
}
void
do_something(const std::vector<foo>& foos)
{
// Do things specific to the one-argument case…
detail::do_something_impl(foos);
}
如果您的逻辑要求您更频繁地分支 - 不仅仅是在函数的开头或结尾 - 您可以将另一个布尔参数传递给detail::do_something_impl
,该参数编码从中调用的重载。
一般情况下,我建议谨慎使用默认参数并更喜欢函数重载,因为它可以提供更好的控制,通常也可以提供更好(不太令人惊讶)的接口。
答案 1 :(得分:2)
这两个函数调用之间是否可以有所区别?
没有。您可以检查向量是否为空,否则无法区分它们。
你可以做一些聪明的事情,例如传递一个转换的实用程序类,但这不是防弹的,并且大多没有意义,因为你可以更容易地做出两个不同的函数重载。
答案 2 :(得分:2)
我有这个功能签名:
void do_somthing(std::vector<foo>& bar=std::vector<foo>{});
无法编译,除了危险的非标准编译器设置外,您应该远离。
特别是,如果未指定/Za
,Visual C ++允许这样做,但/W4
仍会产生如下警告:
stackoverflow.cpp(6): warning C4239: nonstandard extension used: 'default argument': conversion from 'std::vector<foo,std::allocator<_Ty>>' to 'std::vector<foo,
std::allocator<_Ty>> &'
with
[
_Ty=foo
]
stackoverflow.cpp(6): note: A non-const reference may only be bound to an lvalue
void do_somthing(std::vector<foo>& bar=std::vector<foo>{}){ if(/* bar was defaulted*/){ } else{ } }
即使我们假设您实际上包含了缺少的const
来编译代码,答案仍然是:不,不可能来了解bar
被拖欠了。
无论你打算在这里做什么,你都必须找到一个完全不同的解决方案。