Фон: Я создал следующий класс C
, конструктор которого должен принимать переменные N
типа B&
:
class A;
class B
{
A* getA();
};
template<size_t N>
class C
{
public:
template<typename... Args>
inline C(Args&... args) :
member{args.getA()...}
{}
private:
std::array<A*, N> member;
};
Проблема: Моя проблема заключается в том, как ограничить переменный Args
всем типом B
?
Мое частичное решение: Я хотел определить предикат вроде:
template <typename T, size_t N, typename... Args>
struct is_range_of :
std::true_type // if Args is N copies of T
std::false_type // otherwise
{};
И переопределите мой конструктор соответственно:
template <typename... Args,
typename = typename std::enable_if<is_range_of_<B, N, Args...>::value>::type
>
inline C(Args&... args);
Я видел возможное решение на этом посту: qaru.site/info/173140/..., который определяет общий предикат check_all
:
template <template<typename> class Trait, typename... Args>
struct check_all :
std::false_type
{};
template <template<typename> class Trait>
struct check_all<Trait> :
std::true_type
{};
template <template<typename> class Trait, typename T, typename... Args>
struct check_all<Trait, T, Args...> :
std::integral_constant<bool, Trait<T>::value && check_all<Trait, Args...>::value>
{};
Итак, я мог бы написать что-то вроде:
template <typename T, size_t N, typename... Args>
struct is_range_of :
std::integral_constant<bool,
sizeof...(Args) == N &&
check_all<Trait, Args...>::value
>
{};
Вопрос 1: Я не знаю, как определить Trait
, потому что мне нужно как-то связать std::is_same
с B
как первый аргумент. Существуют ли какие-либо способы использования обобщенного check_all
в моем случае или текущая грамматика С++ несовместима?
Вопрос 2: Мой конструктор также должен принимать производные классы B
(через ссылку на B
), является ли это проблемой для вычитания аргумента шаблона? Я боюсь, что если я использую предикат типа std::is_base_of
, я получаю другое инстанцирование конструктора для каждого набора параметров, что может увеличить размер скомпилированного кода...
Изменить: например, у меня есть B1
и B2
, который наследуется от B
, я вызываю C<2>(b1, b1)
и C<2>(b1, b2)
в свой код, создаст ли он два экземпляра (из C<2>::C<B1, B1>
и C<2>::C<B1, B2>
)? Мне нужны только экземпляры C<2>::C<B, B>
.