检查功能参数的默认分配

Question

我正在尝试检查（成员）函数是否为其函数参数设置了默认赋值。但我似乎找不到能给我该信息的类型特征。（类似于 std::has_default_assignment）。

演示（非功能性）我正在尝试做的事情。

struct TypeA {
    void process(int a, int b) const {};
};

struct TypeB {
    void process(int a, int b = 0) const {};
};

template<typename T, typename A1, typename A2>
using MemFcn = void(T::*)(A1, A2) const;

#include <type_traits>
template<typename T, typename A1, typename A2>
typename std::enable_if<std::has_default_assignment<A2>::value>::type
TestProcess(MemFcn<T, A1, A2> fcn) {
    fcn(1);
};

template<typename T, typename A1, typename A2>
typename std::enable_if<!std::has_default_assignment<A2>::value>::type
    TestProcess(MemFcn<T, A1, A2> fcn) {
    fcn(1, 2);
};

template<typename T>
void TestConcepts(T)
{
    TestProcess(&T::process);
}

int main(void) {
    // Should call TypeA::process(1,2);
    TestConcepts(TypeA{});
    // Should call TypeB::process(1)
    TestConcepts(TypeB{});
    return 0;
}

如何检测函数参数是否具有默认赋值？

Answer 1

函数指针不存储默认参数的信息。即使指向的函数具有默认参数，您也会收到编译时错误，指出参数数量错误。

但是您可以测试是否可以使用不同数量的参数调用特定的成员函数。这并不能保证有一个默认参数，它也可能是 2 个不同的重载，它们采用不同数量的参数。

#include <type_traits>
#include <iostream>

struct TypeA {
    void process(int a, int b) const {};
};

struct TypeB {
    void process(int a, int b = 0) const {};
};

template <typename T, typename U = void>
struct has_default_arg : std::false_type {};

template <typename T>
struct has_default_arg<T, std::void_t<decltype(std::declval<T>().process(1))>> : std::true_type {};

template<typename T>
void TestProcess() {
    if constexpr (has_default_arg<T>::value) {
        std::cout << "default arg\n";
        T{}.process(1);
    }
    else {
        std::cout << "no default arg\n";
        T{}.process(1,2);
    }
};

template<typename T>
void TestConcepts(T)
{
    TestProcess<T>();
}

int main(void) {
    // Should call TypeA::process(1,2);
    TestConcepts(TypeA{});
    // Should call TypeB::process(1)
    TestConcepts(TypeB{});
    return 0;
}

这使用了一些 c++17 功能，但也可以用 c++11 编写并付出一些额外的努力。

检查功能参数的默认分配

check for default assignment of function parameter

c++

typetraits

enable-if