| Home | Libraries | People | FAQ | More

## Class template signal

boost::signals2::signal — Safe multicast callback.

## Synopsis

    // In header: <boost/signals2/signal.hpp>

    template<typename Signature,
             typename Combiner = boost::signals2::optional_last_value<R>,
             typename Group = int, typename GroupCompare = std::less<Group>,
             typename SlotFunction = boost::function<Signature>,
             typename ExtendedSlotFunction = boost::function<R (const connection &, T1, T2, ..., TN)>,
             typename Mutex = boost::signals2::mutex>
    class signal : public boost::signals2::signal_base {
    public:
      // types
      typedef Signature                                                                          signature_type;
      typedef typename Combiner::result_type                                                     result_type;
      typedef Combiner                                                                           combiner_type;
      typedef Group                                                                              group_type;
      typedef GroupCompare                                                                       group_compare_type;
      typedef SlotFunction                                                                       slot_function_type;
      typedef typename signals2::slot<Signature, SlotFunction>                                   slot_type;
      typedef ExtendedSlotFunction                                                               extended_slot_function_type;
      typedef typename signals2::slot<R (const connection &, T1, ..., TN), ExtendedSlotFunction> extended_slot_type;
      typedef typename SlotFunction::result_type                                                 slot_result_type;
      typedef unspecified                                                                        slot_call_iterator;
      typedef T1                                                                                 argument_type;                // Exists iff arity == 1
      typedef T1                                                                                 first_argument_type;          // Exists iff arity == 2
      typedef T2                                                                                 second_argument_type;         // Exists iff arity == 2

      // static constants
      static const int arity = N;  // The number of arguments taken by the signal.

      // member classes/structs/unions
      template<unsigned n>
      class arg {
      public:
        // types
        typedef Tn type;  // The type of the signal's (n+1)th argument
      };

      // construct/copy/destruct
      signal(const combiner_type& = combiner_type(),
             const group_compare_type& = group_compare_type());
      signal(signal &&);
      signal& operator=(signal &&);

      // connection management
      connection connect(const slot_type&, connect_position = at_back);
      connection connect(const group_type&, const slot_type&,
                         connect_position = at_back);
      connection connect_extended(const extended_slot_type&,
                                  connect_position = at_back);
      connection connect_extended(const group_type&, const extended_slot_type&,
                                  connect_position = at_back);
      void disconnect(const group_type&);
      template<typename S> void disconnect(const S&);
      void disconnect_all_slots();
      bool empty() const;
      std::size_t num_slots() const;

      // invocation
      result_type operator()(arg<0>::type, arg<1>::type, ..., arg<N-1>::type);
      result_type operator()(arg<0>::type, arg<1>::type, ..., arg<N-1>::type) const;

      // combiner access
      combiner_type combiner() const;
      void set_combiner(const combiner_type&);

      // modifiers
      void swap(signal&);
    };

    // specialized algorithms
    template<typename Signature, typename Combiner, typename Group,
             typename GroupCompare, typename SlotFunction,
             typename ExtendedSlotFunction, typename Mutex>
      void swap(signal<Signature, Combiner, Group, GroupCompare, SlotFunction, ExtendedSlotFunction, Mutex>&,
                signal<Signature, Combiner, Group, GroupCompare, SlotFunction, ExtendedSlotFunction, Mutex>&);

## Description

See the tutorial for more information on how to use the signal class.

### Template Parameters

1.     typename Signature

2.     typename Combiner = boost::signals2::optional_last_value<R>

3.     typename Group = int

4.     typename GroupCompare = std::less<Group>

5.     typename SlotFunction = boost::function<Signature>

6.     typename ExtendedSlotFunction = boost::function<R (const connection &, T1, T2, ..., TN)>

7.     typename Mutex = boost::signals2::mutex

### `signal` public types

1. typedef typename signals2::slot<R (const connection &, T1, ..., TN), ExtendedSlotFunction> extended_slot_type;

   Slots of the `extended_slot_type` may be connected to the signal using the connect_extended methods. The `extended_slot_type` has an additional signals2::connection argument in its signature, which gives slot functions access to their connection to the signal invoking them.

2. typedef typename SlotFunction::result_type slot_result_type;

   This is the type returned when dereferencing the input iterators passed to the signal's combiner.

3. typedef unspecified slot_call_iterator;

   The input iterator type passed to the combiner when the signal is invoked.

### `signal` public construct/copy/destruct

1.     signal(const combiner_type& combiner = combiner_type(),
              const group_compare_type& compare = group_compare_type());

   Effects: | Initializes the signal to contain no slots, copies the given combiner into internal storage, and stores the given group comparison function object to compare groups.
   Postconditions: | `this->empty()`

2.     signal(signal && other);

   Move constructor.

   Postconditions: | The signal `other` is in a "moved-from" state where it may only be destroyed, swapped, or move assigned. Any other operation on a "moved-from" signal is invalid.
   Throws: | Will not throw.

3.     signal& operator=(signal && rhs);

   Move assignment.

   Postconditions: | The signal `rhs` is in a "moved-from" state where it may only be destroyed, swapped, or move assigned. Any other operation on a "moved-from" signal is invalid.
   Throws: | Will not throw.

### `signal` connection management

1.     connection connect(const slot_type& slot, connect_position at = at_back);
       connection connect(const group_type& group, const slot_type& slot,
                          connect_position at = at_back);

   Effects: | Connects the signal this to the incoming slot. If the slot is inactive, i.e., any of the slots's tracked objects have been destroyed, then the call to connect is a no-op. If the second version of `connect` is invoked, the slot is associated with the given group. The `at` parameter specifies where the slot should be connected: `at_front` indicates that the slot will be connected at the front of the list or group of slots and `at_back` indicates that the slot will be connected at the back of the list or group of slots.
   Returns: | A `signals2::connection` object that references the newly-created connection between the signal and the slot; if the slot is inactive, returns a disconnected connection.
   Throws: | This routine meets the strong exception guarantee, where any exception thrown will cause the slot to not be connected to the signal.
   Complexity: | Constant time when connecting a slot without a group name or logarithmic in the number of groups when connecting to a particular group.
   Notes: | It is unspecified whether connecting a slot while the signal is calling will result in the slot being called immediately.

2.     connection connect_extended(const extended_slot_type& slot,
                                   connect_position at = at_back);
       connection connect_extended(const group_type& group,
                                   const extended_slot_type& slot,
                                   connect_position at = at_back);

   The `connect_extended` methods work the same as the `connect` methods, except they take slots of type `extended_slot_type`. This is useful if a slot needs to access the connection between it and the signal invoking it, for example if it wishes to disconnect or block its own connection.

3.     void disconnect(const group_type& group);
       template<typename S> void disconnect(const S& slot_func);

   Effects: | If the parameter is (convertible to) a group name, any slots in the given group are disconnected. Otherwise, any slots equal to the given slot function are disconnected. Note, the `slot_func` argument should not be an actual signals2::slot object (which does not even support `operator==`), but rather the functor you wrapped inside a signals2::slot when you initially made the connection.
   Throws: | Will not throw unless a user destructor or equality operator `==` throws. If either throws, not all slots may be disconnected.
   Complexity: | If a group is given, O(lg g) + k where g is the number of groups in the signal and k is the number of slots in the group. Otherwise, linear in the number of slots connected to the signal.

4.     void disconnect_all_slots();

   Effects: | Disconnects all slots connected to the signal.
   Postconditions: | `this->empty()`.
   Throws: | If disconnecting a slot causes an exception to be thrown, not all slots may be disconnected.
   Complexity: | Linear in the number of slots known to the signal.
   Notes: | May be called at any time within the lifetime of the signal, including during calls to the signal's slots.

5.     bool empty() const;

   Returns: | `true` if no slots are connected to the signal, and `false` otherwise.
   Throws: | Will not throw.
   Complexity: | Linear in the number of slots known to the signal.
   Rationale: | Slots can disconnect at any point in time, including while those same slots are being invoked. It is therefore possible that the implementation must search through a list of disconnected slots to determine if any slots are still connected.

6.     std::size_t num_slots() const;

   Returns: | The number of slots connected to the signal
   Throws: | Will not throw.
   Complexity: | Linear in the number of slots known to the signal.
   Rationale: | Slots can disconnect at any point in time, including while those same slots are being invoked. It is therefore possible that the implementation must search through a list of disconnected slots to determine how many slots are still connected.

### `signal` invocation

1.     result_type operator()(arg<0>::type a1, arg<1>::type a2, ...,
                              arg<N-1>::type aN);
       result_type operator()(arg<0>::type a1, arg<1>::type a2, ...,
                              arg<N-1>::type aN) const;

   Effects: | Invokes the combiner with a `slot_call_iterator` range [first, last) corresponding to the sequence of calls to the slots connected to signal `*this`. Dereferencing an iterator in this range causes a slot call with the given set of parameters `(a1, a2, ..., aN)`, the result of which is returned from the iterator dereference operation.
   Returns: | The result returned by the combiner.
   Throws: | If an exception is thrown by a slot call, or if the combiner does not dereference any slot past some given slot, all slots after that slot in the internal list of connected slots will not be invoked.
   Notes: | Only the slots associated with iterators that are actually dereferenced will be invoked. Multiple dereferences of the same iterator will not result in multiple slot invocations, because the return value of the slot will be cached. The `const` version of the function call operator will invoke the combiner as `const`, whereas the non-`const` version will invoke the combiner as non-`const`.

### `signal` combiner access

1.     combiner_type combiner() const;

   Returns: | A copy of the stored combiner.
   Throws: | Will not throw.

2.     void set_combiner(const combiner_type& combiner);

   Effects: | Copies a new combiner into the signal for use with future signal invocations.
   Throws: | Will not throw.

### `signal` modifiers

1.     void swap(signal& other);

   Effects: | Swaps the signal referenced in `this` and `other`.
   Throws: | Will not throw.

### `signal` specialized algorithms

1.     template<typename Signature, typename Combiner, typename Group,
                typename GroupCompare, typename SlotFunction,
                typename ExtendedSlotFunction, typename Mutex>
         void swap(signal<Signature, Combiner, Group, GroupCompare, SlotFunction, ExtendedSlotFunction, Mutex>& x,
                   signal<Signature, Combiner, Group, GroupCompare, SlotFunction, ExtendedSlotFunction, Mutex>& y);

   Effects: | `x.swap(y)`
   Throws: | Will not throw.