tursom/memgraph
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Constrain Raft class template with concept

Browse Source
This commit is contained in:
gvolfing 2022-08-04 09:09:18 +02:00
parent d1c5aead61
commit 726fabd387
1 changed files with 5 additions and 5 deletions

10
src/io/rsm/raft.hpp
View File

@ -184,11 +184,11 @@ concept Rsm = requires(T t, Write w)
};
*/
template <typename WriteRequest, typename ReadOperation, typename T, typename WriteResponseValue,
template <typename WriteOperation, typename ReadOperation, typename ReplicatedState, typename WriteResponseValue,
typename ReadResponseValue>
concept Rsm = requires(T t, WriteRequest w, ReadOperation r) {
{ t.read(r) } -> std::same_as<ReadResponseValue>;
{ t.apply(w) } -> std::same_as<WriteResponseValue>;
concept Rsm = requires(ReplicatedState state, WriteOperation w, ReadOperation r) {
{ state.read(r) } -> std::same_as<ReadResponseValue>;
{ state.apply(w) } -> std::same_as<WriteResponseValue>;
};
/// Parameter Purpose
@ -205,7 +205,7 @@ concept Rsm = requires(T t, WriteRequest w, ReadOperation r) {
/// without going through consensus first
template <typename IoImpl, typename ReplicatedState, typename WriteOperation, typename WriteResponseValue,
typename ReadOperation, typename ReadResponseValue>
// requires Rsm<WriteRequest<WriteOperation>, ReadOperation, ReplicatedState, WriteResponseValue, ReadResponseValue>
requires Rsm<WriteOperation, ReadOperation, ReplicatedState, WriteResponseValue, ReadResponseValue>
class Raft {
CommonState<WriteOperation> state_;
Role role_ = Candidate{};