Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Support
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
A
Actor Framework
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
0
Issues
0
List
Boards
Labels
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Operations
Operations
Metrics
Environments
Analytics
Analytics
CI / CD
Repository
Value Stream
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
cpp-libs
Actor Framework
Commits
20c5b7d4
Commit
20c5b7d4
authored
May 11, 2015
by
Dominik Charousset
Browse files
Options
Browse Files
Download
Plain Diff
Merge pull request #292 from ufownl/topic/improve-type-safety
Improve type-safety
parents
a5532a64
2018c179
Changes
2
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
83 additions
and
0 deletions
+83
-0
libcaf_core/caf/detail/typed_actor_util.hpp
libcaf_core/caf/detail/typed_actor_util.hpp
+19
-0
libcaf_core/caf/typed_event_based_actor.hpp
libcaf_core/caf/typed_event_based_actor.hpp
+64
-0
No files found.
libcaf_core/caf/detail/typed_actor_util.hpp
View file @
20c5b7d4
...
...
@@ -229,6 +229,25 @@ struct common_result_type<T1, T2, Us...> {
using
type
=
void
;
};
template
<
class
OrigSigs
,
class
DestSigs
,
class
ArgTypes
>
struct
sender_signature_checker
{
static
void
check
()
{
using
dest_output_types
=
typename
deduce_output_type
<
DestSigs
,
ArgTypes
>::
type
::
first
;
sender_signature_checker
<
DestSigs
,
OrigSigs
,
dest_output_types
>::
check
();
}
};
template
<
class
OrigSigs
,
class
DestSigs
>
struct
sender_signature_checker
<
OrigSigs
,
DestSigs
,
detail
::
type_list
<
void
>>
{
static
void
check
()
{}
};
}
// namespace detail
}
// namespace caf
...
...
libcaf_core/caf/typed_event_based_actor.hpp
View file @
20c5b7d4
...
...
@@ -40,6 +40,9 @@ template <class... Sigs>
class
typed_event_based_actor
:
public
abstract_event_based_actor
<
typed_behavior
<
Sigs
...
>
,
true
>
{
public:
using
base_type
=
abstract_event_based_actor
<
typed_behavior
<
Sigs
...
>
,
true
>
;
using
signatures
=
detail
::
type_list
<
Sigs
...
>
;
using
behavior_type
=
typed_behavior
<
Sigs
...
>
;
...
...
@@ -61,6 +64,67 @@ class typed_event_based_actor
}
}
using
base_type
::
send
;
using
base_type
::
delayed_send
;
template
<
class
...
DestSigs
,
class
...
Ts
>
void
send
(
message_priority
mp
,
const
typed_actor
<
Sigs
...
>&
dest
,
Ts
&&
...
xs
)
{
detail
::
sender_signature_checker
<
detail
::
type_list
<
Sigs
...
>
,
detail
::
type_list
<
DestSigs
...
>
,
detail
::
type_list
<
typename
detail
::
implicit_conversions
<
typename
std
::
decay
<
Ts
>::
type
>::
type
...
>
>::
check
();
base_type
::
send
(
mp
,
dest
,
std
::
forward
<
Ts
>
(
xs
)...);
}
template
<
class
...
DestSigs
,
class
...
Ts
>
void
send
(
const
typed_actor
<
DestSigs
...
>&
dest
,
Ts
&&
...
xs
)
{
detail
::
sender_signature_checker
<
detail
::
type_list
<
Sigs
...
>
,
detail
::
type_list
<
DestSigs
...
>
,
detail
::
type_list
<
typename
detail
::
implicit_conversions
<
typename
std
::
decay
<
Ts
>::
type
>::
type
...
>
>::
check
();
base_type
::
send
(
dest
,
std
::
forward
<
Ts
>
(
xs
)...);
}
template
<
class
...
DestSigs
,
class
...
Ts
>
void
delayed_send
(
message_priority
mp
,
const
typed_actor
<
Sigs
...
>&
dest
,
const
duration
&
rtime
,
Ts
&&
...
xs
)
{
detail
::
sender_signature_checker
<
detail
::
type_list
<
Sigs
...
>
,
detail
::
type_list
<
DestSigs
...
>
,
detail
::
type_list
<
typename
detail
::
implicit_conversions
<
typename
std
::
decay
<
Ts
>::
type
>::
type
...
>
>::
check
();
base_type
::
delayed_send
(
mp
,
dest
,
rtime
,
std
::
forward
<
Ts
>
(
xs
)...);
}
template
<
class
...
DestSigs
,
class
...
Ts
>
void
delayed_send
(
const
typed_actor
<
Sigs
...
>&
dest
,
const
duration
&
rtime
,
Ts
&&
...
xs
)
{
detail
::
sender_signature_checker
<
detail
::
type_list
<
Sigs
...
>
,
detail
::
type_list
<
DestSigs
...
>
,
detail
::
type_list
<
typename
detail
::
implicit_conversions
<
typename
std
::
decay
<
Ts
>::
type
>::
type
...
>
>::
check
();
base_type
::
delayed_send
(
dest
,
rtime
,
std
::
forward
<
Ts
>
(
xs
)...);
}
protected:
virtual
behavior_type
make_behavior
()
=
0
;
};
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment