0

我应该如何修改我现在的函数签名

template<class TypeData,typename TypeFunc1 = Identity,typename TypeFunc2>
bool isPrime(const TypeData& n,TypeFunc1 calcSqrt = {},TypeFunc2 isDivisible = [](const TypeData& a,const TypeData& b) {return a%b==0;},const bool debug = false)

为了被调用

auto fSqrt = [](decltype(n) v) {return std::sqrt(static_cast<float>(v));};
std::cout<<(isPrime(n,fSqrt)?"Positive":"Negative")<<'\n';

Visual Studio 2019 提供

C2783 'bool isPrime(const TypeData &,TypeFunc1,TypeFunc2,const bool)':无法推断出 'TypeFunc2' 的模板参数

不过,没有 一切都很好TypeFunc2 isDivisible = [](const TypeData& a,const TypeData& b) {return a%b==0;}

传递默认 lambda 的正确语法是什么?
请帮助我,请。

4

3 回答 3

5

问题是默认参数不会对模板参数中的类型进行推导。

这可以通过这个主要示例来展示:

template <typename X>
void f(X a = 2);

int main() {
    f(); // The compiler spits out an error since it cannot determine the type 'X' holds
}

在这种情况下,您需要做的是改用函数重载:

// ...

template<class TypeData, typename TypeFunc1, typename TypeFunc2>
bool isPrime(const TypeData& n,
             TypeFunc1 calcSqrt,
             TypeFunc2 isDivisible,
             const bool debug);

template<class TypeData>
bool isPrime(const TypeData& n) {
    return isPrime(n, Identity{}, [](const TypeData& a, const TypeData& b) {
            return a % b == 0;
        }, false);
}

// ...
于 2021-10-28T06:21:26.503 回答
1

Ruks的回答其实很好。另一种选择是使用 std::function,它也可能适合您的需求:

template<class TypeData,typename TypeFunc1=Identity,typename TypeFunc2 = std::function<bool(const TypeData&, const TypeData&)>>
bool isPrime(
    const TypeData& n,
    TypeFunc1 calcSqrt = {},
    TypeFunc2 isDivisible = [](const TypeData& a,const TypeData& b) {return a%b==0;},
    const bool debug = false);
于 2021-10-28T06:30:21.263 回答
1

您需要为您添加一个默认类型TypeFunc2,例如:

template<class TypeData,
         typename TypeFunc1 = Identity,
         typename TypeFunc2 = bool(*)(const TypeData&,const TypeData&)>
                            //^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
bool isPrime(const TypeData& n,
             TypeFunc1 calcSqrt = {},
             TypeFunc2 isDivisible = [](const TypeData& a,const TypeData& b) {return a%b==0;},
             const bool debug = false) {
  // ...
}
于 2021-10-28T06:30:50.863 回答