шаблоны — c ++ Как получить арность конструктора?
Учитывая класс параметров шаблона T это имеет не замужем конструктор (нет копирования или перемещения конструктора) а также нуль аргументы по умолчанию, есть ли способ найти арность T(...)?
Мои попытки до сих пор
#include <iostream>
#include <string>
#include <vector>
template <typename F> struct function_arity;
template <typename R, typename... Args>
struct function_arity<R (Args...)>
: std::integral_constant<std::size_t, sizeof...(Args)> {};
template <typename R, typename... Args>
struct function_arity<R (*)(Args...)> : function_arity<R (Args...)> {};
template <typename R, typename... Args>
struct function_arity<R (&)(Args...)> : function_arity<R (Args...)> {};
template <typename R, typename C, typename... Args>
struct function_arity<R (C::*)(Args...) const> : function_arity<R (Args...)> {};
template <typename R, typename C, typename... Args>
struct function_arity<R (C::*)(Args...)> : function_arity<R (Args...)> {};
template <typename C>
struct function_arity : function_arity<decltype(&C::operator())> {};
struct no_copy { no_copy() = default; no_copy(const no_copy&) = delete; };
struct no_move { no_move() = default; no_move(no_move&&) = delete; };
struct A : no_copy, no_move { A(int, float) { std::cout << "A!\n"; }; };
struct B : no_copy, no_move { B(double) { std::cout << "B!\n"; }; };
struct C : no_copy, no_move { C() { std::cout << "C!\n"; }; };
int main()
{
std::cout << function_arity<&A::A>::value << "\n";
return 0;
}
Решение
Если мы сделаем следующие предположения:
- Параметры являются либо фиксированными типами, либо (полностью неограниченными!) Универсальными параметрами (не, например,
std::basic_string<CharT>) - Параметры MoveConstructible
, затем
#include <type_traits>
#include <utility>
namespace detail {
template <typename Ignore>
struct anything {
template <typename T,
typename=std::enable_if_t<not std::is_same<Ignore, std::decay_t<T>>{}>>
operator T&&();
};
template <typename U, typename=void, typename... args>
struct test : test<U, void, args..., anything<U>> {};
template <typename U, typename... args>
struct test<U, std::enable_if_t<std::is_constructible<U, args...>{}
&& sizeof...(args) < 32>, args...>
: std::integral_constant<std::size_t, sizeof...(args)> {};
template <typename U, typename... args>
struct test<U, std::enable_if_t<sizeof...(args) == 32>, args...>
: std::integral_constant<std::size_t, (std::size_t)-1> {};
}
template <typename U>
using ctor_arity = detail::test<U, void>;
… Должен работать как положено. демонстрация.
Обратите внимание, что вышеуказанный подход легко переводится на C ++ 11.
Другие решения
detector