File: consteval-operators.cpp

package info (click to toggle)
swiftlang 6.0.3-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 2,519,992 kB
  • sloc: cpp: 9,107,863; ansic: 2,040,022; asm: 1,135,751; python: 296,500; objc: 82,456; f90: 60,502; lisp: 34,951; pascal: 19,946; sh: 18,133; perl: 7,482; ml: 4,937; javascript: 4,117; makefile: 3,840; awk: 3,535; xml: 914; fortran: 619; cs: 573; ruby: 573
file content (46 lines) | stat: -rw-r--r-- 986 bytes parent folder | download | duplicates (12) 
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
35
36
37
38
39
40
41
42
43
44
45
46
 
// RUN: %clang_cc1 -std=c++2a -emit-llvm-only -Wno-unused-value %s -verify

// expected-no-diagnostics

struct A {
  consteval A operator+() { return {}; }
};
consteval A operator~(A) { return {}; }
consteval A operator+(A, A) { return {}; }

template <class> void f() {
  A a;
  A b = ~a;
  A c = a + a;
  A d = +a;
}
template void f<int>();

template <class T> void foo() {
  T a;
  T b = ~a;
  T c = a + a;
  T d = +a;
}

template void foo<A>();

template <typename DataT> struct B { DataT D; };

template <typename DataT>
consteval B<DataT> operator+(B<DataT> lhs, B<DataT> rhs) {
  return B<DataT>{lhs.D + rhs.D};
}

template <class T> consteval T template_add(T a, T b) { return a + b; }

consteval B<int> non_template_add(B<int> a, B<int> b) { return a + b; }

void bar() {
  constexpr B<int> a{};
  constexpr B<int> b{};
  auto constexpr c = a + b;
}

static_assert((template_add(B<int>{7}, B<int>{3})).D == 10);
static_assert((non_template_add(B<int>{7}, B<int>{3})).D == 10);