Как узнать количество аргументов конструктора?

@[progeR] · Регистрация: 20.08.2011

Author24 — интернет-сервис помощи студентам

Добрый день.
Как на этапе компиляции узнать, сколько аргументов имеет конструктор некоторого класса?
Нужно в шаблонной функции по переданному классу Type определить количество:
1. Если аргументов 1 шт, то

C++ (Qt)

1	Type *object = new Type(this);

2. Если аргументов 2 шт, то

C++ (Qt)

1	Type *object = new Type(this, "это строка");

@DU · 14.02.2015, 15:56

ну подозреваю что он говорит о том, что у Type нет конструктора, который принимает два или один параметр. зависит от Тype. Тут надо делать вызывать специальные create функции, которые либо перегружены, либо специализированы. В посте #6 они уже были:

C++

template<class T>
T create(bool2type<true>)
{
    return T("hello");
}
 
template<class T>
T create(bool2type<false>)
{
    return T();
}

кроме типа для разрешения перегрузки надо передавать в них параметры для создания. в одной из них
параметр db просто игнорировать.

@DrOffset · 14.02.2015, 15:58

Сообщение от [progeR]

Не компилируется, т.к. не видит, как я понимаю, оператора if-else.

Если у одного из этих классов, например нет конструктора с двумя параметрами, то будет ошибка. Т.к. тернарный оператор требует вычислимости обоих свох выражений (как if, так и else). Обойти это можно так:

C++

template<typename Type>
// if IS_SQL == true
typename std::enable_if<Type::IS_SQL, Type*>::type MainWindow::_addTab()
{
    return new Type(_db, ui->tabWidget);
}
template<typename Type>
// if IS_SQL == false
typename std::enable_if<!Type::IS_SQL, Type*>::type MainWindow::_addTab()
{
    return new Type(ui->tabWidget);
}

@[progeR] · 14.02.2015, 21:50 **[ТС]**

Спасибо, заработало!

Сообщение от DU

В посте #6 они уже были:

Попытался их использовать:

C++ (Qt)

    template<bool> struct bool2type {};
    template<class T>
    T* create(bool2type<true>)
    {
        return new T(ui->tabWidget);
    }
    template<class T>
    T* create(bool2type<false>)
    {
        return new T(_db, ui->tabWidget);
    }
    template<class T>
    T* create()
    {
        return create<T>(bool2type<std::is_constructible<T, QWidget>::value>());
    }

Почему при компиляции видит только одну ветку (у меня это та, где false, а true не хочет)

@DU · 15.02.2015, 00:31

наверно потому, что результат
bool2type<std::is_constructible<T, QWidget>::value
всегда false.
вместо T тут надо тип объекта _db поставить наверно
bool2type<std::is_constructible<decltype(_db), QWidget>::value

@Voivoid · 15.02.2015, 10:58

Воу-воу-воу, что как-то у вас все сложно. Можно ж sfinae замутить через автовывод возвращаемого типа. Т.е.:

C++

#include <iostream>
 
struct foobar {
    foobar( int a, int b ) {
        std::cout << "foobar created with " << a << " " << b << "\n";
    }
};
 
struct barbaz {
    barbaz( int a ) {
        std::cout << "barbaz created with " << a << "\n";
    }
};
 
template <typename T>
auto make( int a, int b ) -> decltype( T( a ,b ) ) {
    return T( a, b );
}
 
template <typename T>
auto make( int a, int b ) -> decltype( T( a ) ) {
    return T( a );
}
 
int main() {
    auto x = make<foobar>( 10, 42 );
    auto y = make<barbaz>( 10, 42 );
}

https://ideone.com/FjKzKI

Пололлировал с предложения впилить runtime полиморфизм не смотря на то, что все известно в compile-time. Вот что с людьми MFC делает

@[progeR] · 16.02.2015, 09:04 **[ТС]**

Лаконично.
Вопрос:
1. Как сделать, чтобы make() возвращал указатель (т.е. new T(_db, ui->tabWidget) или new T(ui->tabWidget))?
2. Можно ли избавиться от аргументов в функции make()? Те переменные, которые передаются в конструктор класса имеют глобальную область видимости.

@Voivoid · 16.02.2015, 12:48

Сообщение от [progeR]

Вопрос:
1. Как сделать, чтобы make() возвращал указатель (т.е. new T(_db, ui->tabWidget) или new T(ui->tabWidget))?
2. Можно ли избавиться от аргументов в функции make()? Те переменные, которые передаются в конструктор класса имеют глобальную область видимости.

Элементарно

C++

#include <iostream>
#include <memory>
 
int g_a = 10;
int g_b = 42;  
 
struct foobar {
    foobar( int a, int b ) {
        std::cout << "foobar created with " << a << " " << b << "\n";
    }
};
 
struct barbaz {
    barbaz( int a ) {
        std::cout << "barbaz created with " << a << "\n";
    }
};
 
template <typename T>
auto make() -> decltype( new T( g_a ,g_b ) ) {
    return new T( g_a, g_b );
}
 
template <typename T>
auto make() -> decltype( new T( g_a ) ) {
    return new T( g_a );
}
 
int main() {
    foobar* x = make<foobar>();
    barbaz* y = make<barbaz>();
}

Другое дело, что глобальные переменные скорее все это весьма сомнительное решение, ну да и ладно, сам себе злобный буратина, лол

@DU 1500 / 1146 / 165 Регистрация: 05.12.2011 Сообщений: 2,279
	15.02.2015, 00:31	44
	наверно потому, что результат bool2type<std::is_constructible<T, QWidget>::value всегда false. вместо T тут надо тип объекта _db поставить наверно bool2type<std::is_constructible<decltype(_db), QWidget>::value 0

@[progeR] 30 / 8 / 2 Регистрация: 20.08.2011 Сообщений: 615
	16.02.2015, 09:04 [ТС]	46
	Лаконично. Вопрос: 1. Как сделать, чтобы make() возвращал указатель (т.е. new T(_db, ui->tabWidget) или new T(ui->tabWidget))? 2. Можно ли избавиться от аргументов в функции make()? Те переменные, которые передаются в конструктор класса имеют глобальную область видимости. 0

	16.02.2015, 12:48