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进行编写，并且需要更多的努力。

检查功能参数的默认分配

1 个答案: