Add tests for const dynamic cast

Author: barche

.github/workflows/test-linux-mac.yml

@@ -20,14 +20,14 @@ jobs:
           - "nightly"
         os:
           - ubuntu-latest
-          - macos-13
+          - macos-15-intel
         arch:
           - x64
         include:
-          - os: macos-14
+          - os: macos-latest
             arch: aarch64
             version: "1.10"
-          - os: macos-14
+          - os: macos-latest
             arch: aarch64
             version: "nightly"
     steps:
@@ -50,7 +50,7 @@ jobs:
           CXXFLAGS=-ftemplate-backtrace-limit=0 cmake -DCMAKE_INSTALL_PREFIX=$HOME/install -DAPPEND_OVERRIDES_TOML=ON -DCMAKE_BUILD_TYPE=Debug ..
           VERBOSE=ON cmake --build . --config Debug --target install
           wget https://github.com/JuliaRegistries/General/raw/refs/heads/master/jll/L/libcxxwrap_julia_jll/Versions.toml
-          jllversion=0.14.2 #$(grep '\["' Versions.toml | tail -n 1 | sed -E 's/\["([0-9]+\.[0-9]+\.[0-9]+)\+[^"]*"\]/\1/g')
+          jllversion=$(grep '\["' Versions.toml | tail -n 1 | sed -E 's/\["([0-9]+\.[0-9]+\.[0-9]+)\+[^"]*"\]/\1/g')
           cd lib
           if [ ! -f libcxxwrap_julia.${jllversion}.dylib ]; then
             ln -s libcxxwrap_julia.*.*.*.* libcxxwrap_julia.${jllversion}.dylib

examples/inheritance.cpp

@@ -180,6 +180,25 @@ namespace virtualsolver
   };
 }
 
+struct Parent {
+    virtual std::string name() const { return "Parent"; }
+    virtual ~Parent() = default;
+};
+
+struct DerivedA : public Parent {
+    std::string name() const override { return "DerivedA"; }
+};
+
+struct DerivedB : public Parent {
+    std::string name() const override { return "DerivedB"; }
+};
+
+
+Parent* make_a() { return new DerivedA(); }
+Parent* make_b() { return new DerivedB(); }
+const Parent* make_const_a() { return new const DerivedA(); }
+const Parent* make_const_b() { return new const DerivedB(); }
+
 namespace jlcxx
 {
   // Needed for upcasting
@@ -196,6 +215,9 @@ namespace jlcxx
   template<> struct IsMirroredType<StaticBase> : std::false_type { };
   template<> struct IsMirroredType<StaticDerived> : std::false_type { };
   template<> struct SuperType<StaticDerived> { typedef StaticBase type; };
+
+  template<> struct SuperType<DerivedA> { typedef Parent type; };
+  template<> struct SuperType<DerivedB> { typedef Parent type; };
 }
 
 JLCXX_MODULE define_types_module(jlcxx::Module& types)
@@ -230,6 +252,20 @@ JLCXX_MODULE define_types_module(jlcxx::Module& types)
     .constructor<int, double>()
     .method("getData", &VirtualCfunctionExtended::getData)
     .method("set_callback", &VirtualCfunctionExtended::set_callback);
+
+  types.add_type<Parent>("Parent")
+        .method("name", &Parent::name);
+
+  types.add_type<DerivedA>("DerivedA", jlcxx::julia_base_type<Parent>())
+      .method("name", &DerivedA::name);
+
+  types.add_type<DerivedB>("DerivedB", jlcxx::julia_base_type<Parent>())
+      .method("name", &DerivedB::name);
+
+  types.method("make_a", &make_a);
+  types.method("make_b", &make_b);
+  types.method("make_const_a", &make_const_a);
+  types.method("make_const_b", &make_const_b);
 }
 
 JLCXX_MODULE define_vsolver_module(jlcxx::Module& vsolver_mod)