std :: function: строгая проверка аргументов во время компиляции - PullRequest
Новая
       11

std :: function: строгая проверка аргументов во время компиляции

4 голосов
/ 06 декабря 2011

Я хотел бы реализовать класс, который содержит два обратных вызова с предопределенными сигнатурами функций.

Класс имеет шаблонный ctor, который использует std :: bind для создания членов std :: function. Я ожидал, что компилятор (g ++ 4.6) будет жаловаться, если функция с неправильной подписью передается в ctor. Тем не менее, компилятор принимает следующее: 

    callback c1(i, &test::func_a, &test::func_a);

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

Как я могу сделать ошибку во время компиляции, чтобы предотвратить это? 

#include <functional>

using namespace std::placeholders;

class callback {
public:
    typedef std::function<bool(const int&)>     type_a;
    typedef std::function<bool(int&)>       type_b;

    template <class O, typename CA, typename CB>
        callback(O inst, CA ca, CB cb)
        : 
        m_ca(std::bind(ca, inst, _1)),
        m_cb(std::bind(cb, inst, _1))
        { }

private:
    type_a  m_ca;
    type_b  m_cb;
};


class test {
public:
    bool func_a(const int& arg) { return true; }
    bool func_b(int& arg) { arg = 10; return true; }
};

int main()
{
    test i;
    callback c(i, &test::func_a, &test::func_b);

// Both should fail at compile time

    callback c1(i, &test::func_a, &test::func_a);
//  callback c2(i, &test::func_b, &test::func_b);

    return 0;
}

ОБНОВЛЕНИЕ : Ответ от посетителя решает мою первоначальную проблему. К сожалению, у меня есть куча связанных дел, которые можно решить с помощью следующего кода (http://ideone.com/P32sU):

class test {
public:
    virtual bool func_a(const int& arg) { return true; }
    virtual bool func_b(int& arg) { arg = 10; return true; }
};

class test_d : public test {
public:
    virtual bool func_b(int& arg) { arg = 20; return true; }
};

int main()
{
    test_d i;
    callback c(i, &test_d::func_a, &test_d::func_b);
    return 0;
}

static_assert, предложенный посетителем, запускается здесь для этого случая, хотя подпись функции действительна: 

prog.cpp: In constructor 'callback::callback(O, CA, CB) [with O = test_d, CA = bool (test::*)(const int&), CB = bool (test_d::*)(int&)]':
prog.cpp:41:51:   instantiated from here
prog.cpp:17:12: error: static assertion failed: "First function type incorrect"

Я думаю, что было бы лучше просто сравнить аргументы функции и возвращаемое значение. Подскажите пожалуйста как.

Спасибо.

1 Ответ

1 голос
/ 06 декабря 2011

Вы можете статически утверждать в теле конструктора: 

static_assert(std::is_same<CA, bool(O::*)(const int&)>::value, "First function type incorrect");
static_assert(std::is_same<CB, bool(O::*)(int&)>::value, "Second function type incorrect");

См .: http://ideone.com/u0z24

...