rcx 0.3.1 → 0.4.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 4074c5868fd711ee67726acd364d4aa243c5aeaf9fad6232756e9c1fde7539e3
-  data.tar.gz: e38a49e450466554a5845189cf2ae51ba31665f18389bf9a8d1a052fe6858353
+  metadata.gz: 422a1c5bd974518c00e3a6c0ca86ac38f6c62ff06dd56acf0971973f215208bc
+  data.tar.gz: 8ecbbb1e288c7df1ebdb317f64c1c2656faf50044c4e6d06c598a6789d21906d
 SHA512:
-  metadata.gz: cb13a7ca26f4caf50b3ad8038044f6abf7f932e612e1047df7c54bc543af07a4400a5f68fc64f37406eedff1234de7e99a58583a073c0cf4cbae916c0b03cdd8
-  data.tar.gz: 918833acbc1d6d1bc2b5c9678533ccd6a8bbdd8f5a6b2b87e18e0baf12443eb3887cb2b8b7ca5349f897e37eb9d0a2c06381e4501870db5e00c25317cc76a9f0
+  metadata.gz: ec21a72b07c85b513459908b61733ee68c61c3116729ed87209a603666ed2396edb0ab140449db0d16185a183215dfb750c5e9ae8f5af5c3652accd63196dad6
+  data.tar.gz: 4d3bbb65011e6e2649da175130f22cd9bcf4bbbd95830452e06bad119d02b3904e2e514bc4aac05f92e32729bc463faa865ea6d6c4bccbd061a00b39cedb8d7a

data/CHANGELOG.md

@@ -1,5 +1,8 @@
 ## UNRELEASED
 
+## v0.4.0 (2025-09-03)
+- Renamed `rcx::arg` namespace to `rcx::args` to prevent conflit with `rcx::arg::arg`.
+
 ## v0.3.1 (2025-09-02)
 - Now `extconf.rb`'s can only `require 'rcx/mkmf/c++20'` to enable RCX.
 

data/Rakefile

@@ -39,6 +39,6 @@ task :yarn_install do
 end
 
 desc 'Format the source code'
-task :format => FileList['**/*.hpp'] do |t|
+task :format => FileList['**/*.[ch]pp'] do |t|
   sh 'clang-format', '-i', *t.prerequisites
 end

data/examples/class.cpp

@@ -3,7 +3,7 @@
 #include <rcx/rcx.hpp>
 
 void Init_examples_class() {
-  using namespace rcx::arg;
+  using namespace rcx::args;
 
   auto ruby = rcx::Ruby::get();
   auto cls =

data/include/rcx/internal/rcx.hpp

@@ -67,6 +67,10 @@ namespace rcx {
   /// Concepts
   ///
   namespace concepts {
+    /// Specifies the type `void`.
+    template <typename T>
+    concept Void = std::is_void_v<T>;
+
     template <typename T>
     concept StringLike = requires {
       typename std::remove_cvref_t<T>::value_type;
@@ -286,7 +290,7 @@ namespace rcx {
     /// Specifies the types that can be converted from Ruby values.
     ///
     template <typename T>
-    concept ConvertibleFromValue = requires(Value v) { from_Value<T>(v); };
+    concept ConvertibleFromValue = !std::is_void_v<T> && requires(Value v) { from_Value<T>(v); };
 
     /// Specifies the types that can be converted into Ruby values.
     ///
@@ -316,7 +320,7 @@ namespace rcx {
 
   /// Argument parsing.
   ///
-  namespace arg {
+  namespace args {
     template <concepts::ConvertibleFromValue T = Value> struct Self {
       using ResultType = detail::wrap_ref_t<T>;
       static ResultType parse(Ruby &, Value self, std::span<Value> &args);
@@ -534,10 +538,40 @@ namespace rcx {
       ClassT<Derived> get_class() const;
       Derived freeze() const;
 
+      /// Defines a singleton method for the object.
+      ///
+      /// @warning Defining a method this way allocates a resource that will never be
+      ///   garbage-collected.
+      ///
+      /// @tparam Self The type of the receiver.
+      /// @tparam ArgSpec The types of the method arguments.
+      /// @param mid The name of the method.
+      /// @param function The C++ function to be invoked. It should accept `Self` as
+      ///   the first argument, followed by the arguments defined by `argspec`.
+      /// @param argspec The argument specifications for the method.
+      /// @return Returns the receiver.
       template <concepts::ConvertibleFromValue Self = Derived, concepts::ArgSpec... ArgSpec>
       Derived define_singleton_method(concepts::Identifier auto &&mid,
           std::invocable<Self, typename ArgSpec::ResultType...> auto &&function,
           ArgSpec... argspec) const;
+
+      /// @overload
+      ///
+      /// This overload defines a method that does not use the receiver.
+      ///
+      /// @warning Defining a method this way allocates a resource that will never be
+      ///   garbage-collected.
+      ///
+      /// @tparam Self Must be `void`.
+      /// @param mid The name of the method.
+      /// @param function The C++ function to be invoked. It should accept the
+      ///   arguments defined by `argspec`.
+      /// @param argspec The argument specifications for the method.
+      /// @return Returns the receiver.
+      template <concepts::Void Self, concepts::ArgSpec... ArgSpec>
+      Derived define_singleton_method(concepts::Identifier auto &&mid,
+          std::invocable<typename ArgSpec::ResultType...> auto &&function,
+          ArgSpec... argspec) const;
     };
 
     class Value: public ValueT<Value, ValueBase, Nilable> {
@@ -635,6 +669,23 @@ namespace rcx {
           std::invocable<Self, typename ArgSpec::ResultType...> auto &&function,
           ArgSpec... argspec) const;
 
+      /// @overload
+      ///
+      /// This overload defines a method that does not use the receiver.
+      ///
+      /// @warning Defining method this way allocates a resource that will never be
+      /// garbage-collected.
+      ///
+      /// @tparam Self Must be `void`.
+      /// @param mid The name of the method.
+      /// @param function The function to be called.
+      /// @param argspec List of argument specifications.
+      /// @return Self.
+      template <concepts::Void Self, concepts::ArgSpec... ArgSpec>
+      Module define_method(concepts::Identifier auto &&mid,
+          std::invocable<typename ArgSpec::ResultType...> auto &&function,
+          ArgSpec... argspec) const;
+
       /// Checks if a constant is defined under this module.
       ///
       /// @param name Name of the constant.

data/include/rcx/internal/rcx_impl.hpp

@@ -235,7 +235,7 @@ namespace rcx {
         std::conditional_t<std::derived_from<T, typed_data::WrappedStructBase>, T const &, T const>;
   };
 
-  namespace arg {
+  namespace args {
     template <concepts::ConvertibleFromValue T>
     inline typename Self<T>::ResultType Self<T>::parse(Ruby &, Value self, std::span<Value> &) {
       return from_Value<T>(self);
@@ -611,7 +611,7 @@ namespace rcx {
     inline Derived ValueT<Derived, Super, nilable>::define_singleton_method(
         concepts::Identifier auto &&mid,
         std::invocable<Self, typename ArgSpec::ResultType...> auto &&function, ArgSpec...) const {
-      auto const callback = detail::method_callback<arg::Self<Self>, ArgSpec...>::alloc(
+      auto const callback = detail::method_callback<args::Self<Self>, ArgSpec...>::alloc(
           std::forward<decltype(function)>(function));
       detail::protect([&]() noexcept {
         auto const singleton = ::rb_singleton_class(this->as_VALUE());
@@ -621,6 +621,21 @@ namespace rcx {
       return *static_cast<Derived const *>(this);
     }
 
+    template <typename Derived, std::derived_from<ValueBase> Super, Nilability nilable>
+    template <concepts::Void, concepts::ArgSpec... ArgSpec>
+    inline Derived ValueT<Derived, Super, nilable>::define_singleton_method(
+        concepts::Identifier auto &&mid,
+        std::invocable<typename ArgSpec::ResultType...> auto &&function, ArgSpec...) const {
+      auto const callback =
+          detail::method_callback<ArgSpec...>::alloc(std::forward<decltype(function)>(function));
+      detail::protect([&]() noexcept {
+        auto const singleton = ::rb_singleton_class(this->as_VALUE());
+        rb_define_method_id(
+            singleton, detail::into_ID(std::forward<decltype(mid)>(mid)), callback, -1);
+      });
+      return *static_cast<Derived const *>(this);
+    }
+
     /// Value
 
     template <concepts::ConvertibleFromValue R>
@@ -707,7 +722,18 @@ namespace rcx {
     template <concepts::ConvertibleFromValue Self, concepts::ArgSpec... ArgSpec>
     inline Module Module::define_method(concepts::Identifier auto &&mid,
         std::invocable<Self, typename ArgSpec::ResultType...> auto &&function, ArgSpec...) const {
-      auto const callback = detail::method_callback<arg::Self<Self>, ArgSpec...>::alloc(function);
+      auto const callback = detail::method_callback<args::Self<Self>, ArgSpec...>::alloc(function);
+      detail::protect([&]() noexcept {
+        rb_define_method_id(
+            as_VALUE(), detail::into_ID(std::forward<decltype(mid)>(mid)), callback, -1);
+      });
+      return *this;
+    }
+
+    template <concepts::Void, concepts::ArgSpec... ArgSpec>
+    inline Module Module::define_method(concepts::Identifier auto &&mid,
+        std::invocable<typename ArgSpec::ResultType...> auto &&function, ArgSpec...) const {
+      auto const callback = detail::method_callback<ArgSpec...>::alloc(function);
       detail::protect([&]() noexcept {
         rb_define_method_id(
             as_VALUE(), detail::into_ID(std::forward<decltype(mid)>(mid)), callback, -1);
@@ -792,7 +818,7 @@ namespace rcx {
     inline ClassT<T> ClassT<T>::define_method(concepts::Identifier auto &&mid,
         std::invocable<T &, typename ArgSpec::ResultType...> auto &&function, ArgSpec...) const {
       auto const callback =
-          detail::method_callback<arg::Self<detail::self_type<T>>, ArgSpec...>::alloc(
+          detail::method_callback<args::Self<detail::self_type<T>>, ArgSpec...>::alloc(
               std::forward<decltype(function)>(function));
       detail::protect([&]() noexcept {
         rb_define_method_id(
@@ -807,7 +833,7 @@ namespace rcx {
         std::invocable<T const &, typename ArgSpec::ResultType...> auto &&function,
         ArgSpec...) const {
       auto const callback =
-          detail::method_callback<arg::Self<detail::self_type_const<T>>, ArgSpec...>::alloc(
+          detail::method_callback<args::Self<detail::self_type_const<T>>, ArgSpec...>::alloc(
               function);
       detail::protect([&]() noexcept {
         rb_define_method_id(
@@ -820,7 +846,7 @@ namespace rcx {
     template <concepts::ArgSpec... ArgSpec>
       requires std::constructible_from<T, typename ArgSpec::ResultType...>
     inline ClassT<T> ClassT<T>::define_constructor(ArgSpec...) const {
-      auto const callback = detail::method_callback<arg::Self<Value>, ArgSpec...>::alloc(
+      auto const callback = detail::method_callback<args::Self<Value>, ArgSpec...>::alloc(
           typed_data::DataType<T>::template initialize<typename ArgSpec::ResultType...>);
       detail::protect([&]() noexcept {
         using namespace literals;
@@ -833,7 +859,7 @@ namespace rcx {
     inline ClassT<T> ClassT<T>::define_copy_constructor() const
       requires std::copy_constructible<T>
     {
-      auto const callback = detail::method_callback<arg::Self<Value>, arg::Arg<T const &>>::alloc(
+      auto const callback = detail::method_callback<args::Self<Value>, args::Arg<T const &>>::alloc(
           typed_data::DataType<T>::initialize_copy);
       detail::protect([&]() noexcept {
         using namespace literals;

data/lib/rcx/version.rb

@@ -1,3 +1,3 @@
 module RCX
-  VERSION = -'0.3.1'
+  VERSION = -'0.4.0'
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rcx
 version: !ruby/object:Gem::Version
-  version: 0.3.1
+  version: 0.4.0
 platform: ruby
 authors:
 - Kasumi Hanazuki