File: multideclare.cc

package info (click to toggle)
c%2B%2B-annotations 11.5.0-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 11,244 kB
  • sloc: cpp: 21,698; makefile: 1,505; ansic: 165; sh: 121; perl: 90
file content (34 lines) | stat: -rw-r--r-- 480 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
 
#include <vector>
#include <string>
#include <iostream>

using namespace std;

template <typename Type>
concept Subtractable =
    requires(Type lh, Type rh)
    {
        lh - rh;
    };

template <typename Type>
concept Addable =
    requires(Type lh, Type rh)
    {
        lh + rh;
    };

//two
template <typename t1, typename t2> requires Addable<t1>
struct Data
{};

template <Subtractable Type>
struct Data<Type, int>
{};
//=

void fun()
{
    Data<vector<int>, int>{};
}