huangcm
2025-08-25 f350412dc55c15118d0a7925d1071877498e5e24
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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
#!/usr/bin/env python3
#  Copyright 2016 Google Inc. All Rights Reserved.
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
#      http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS-IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
 
from fruit_test_common import *
 
COMMON_DEFINITIONS = '''
    #include "test_common.h"
    
    struct Annotation {};
    
    struct alignas(1) X {
      using Inject = X();
      X() {
        Assert(reinterpret_cast<std::uintptr_t>(this) % 1 == 0);
      }
    };
    
    struct alignas(4) Y {
      using Inject = Y();
      Y() {
        Assert(reinterpret_cast<std::uintptr_t>(this) % 4 == 0);
      }
    };
    
    struct alignas(128) Z {
      using Inject = Z();
      Z() {
        Assert(reinterpret_cast<std::uintptr_t>(this) % 128 == 0);
      }
    };
    
    using XAnnot = fruit::Annotated<Annotation, X>;
    using YAnnot = fruit::Annotated<Annotation, Y>;
    using ZAnnot = fruit::Annotated<Annotation, Z>;
    '''
 
def test_type_alignment_with_annotation():
    source = '''
        fruit::Component<XAnnot, YAnnot, ZAnnot> getComponent() {
          return fruit::createComponent();
        }
        
        int main() {
          fruit::Injector<XAnnot, YAnnot, ZAnnot> injector(getComponent);
          
          injector.get<fruit::Annotated<Annotation, X*>>();
          injector.get<fruit::Annotated<Annotation, Y*>>();
          injector.get<fruit::Annotated<Annotation, Z*>>();
        }
        '''
    expect_success(
        COMMON_DEFINITIONS,
        source,
        locals())
 
if __name__== '__main__':
    main(__file__)