as_sexp and as_cpp are not easily extensible
まだ誰も着手していません。
評価
- 難易度
- 5/5
- 見積もり時間
- 1週間以上
- 初心者へのやさしさ
- 35/100
- issue の種類
- 機能追加
- 明瞭さ
- おおむね明確
- 活発さ
- 停滞
調査の方向性
Start with the reproducer in cpp11test/src/test-as.cpp and inspect the conversion declarations included through cpp11.hpp. Compare the current as_cpp/as_sexp overload approach with the proposed custom_conversion trait. Done should mean custom types can provide conversions without pre-declaring overloads, while existing shared_ptr and vector conversions continue to work.
索引モデルが issue の本文から書いたものです。
説明
Arrow defines as_cpp and as_sexp for shared_ptr and vectors of shared_ptr using external_pointer, since both of those are used throughout the arrow API. This is currently accomplished by declaring the overloads of as_sexp before inclusion of the cpp11 headers:
namespace cpp11 {
template <typename T>
SEXP as_sexp(const std::shared_ptr<T>& ptr);
template <typename T>
SEXP as_sexp(const std::vector<std::shared_ptr<T>>& vec);
} // namespace cpp11
#include <cpp11.hpp>
https://github.com/apache/arrow/pull/7819/files#diff-db94c392857c3bad4f5f69e86cde917bR24-R32
Without this pre-declaration, ADL fails (for example) when named_arg::operator= attempts to instantiate as_sexp(const shared_ptr<T>&).
Reproducer:
diff --git a/cpp11test/src/test-as.cpp b/cpp11test/src/test-as.cpp
index 76b4ee3..c8770a8 100644
--- a/cpp11test/src/test-as.cpp
+++ b/cpp11test/src/test-as.cpp
@@ -8,7 +8,39 @@
#include "Rcpp.h"
+namespace test {
+
+struct triple {
+ std::string arch, vendor, os;
+};
+
+} // namespace test
+
+namespace cpp11 {
+
+template <typename T>
+cpp11::enable_if_t<std::is_same<T, test::triple>::value, test::triple> as_cpp(SEXP from) {
+ cpp11::strings r{from};
+
+ if (r.size() == 3) {
+ return test::triple{.arch = r[0], .vendor = r[1], .os = r[2]};
+ }
+
+ stop("Expected string vector of length 3");
+}
+
+SEXP as_sexp(const test::triple& from) {
+ return cpp11::writable::strings({from.arch, from.vendor, from.os});
+}
+
+} // namespace cpp11
+
context("as_cpp-C++") {
+ test_that("as_cpp<custom type>(SEXP)") {
+ cpp11::writable::list(
+ {"fs"_nm = test::triple{.arch = "seven", .vendor = "ono", .os = "sendai"}});
+ }
+
test_that("as_cpp<integer>(INTSEXP)") {
SEXP r = PROTECT(Rf_allocVector(INTSXP, 1));
INTEGER(r)[0] = 42;
This could be resolved by providing a user-specializable trait for conversion, for example:
template <typename T, typename Enable = void>
struct custom_conversion;
template <typename T>
auto as_cpp(SEXP from) -> decltype(custom_conversion<T>::as_cpp(from)) {
return custom_conversion<T>::as_cpp(from);
}
template <typename T>
auto as_sexp(const T& from) -> decltype(custom_conversion<T>::as_sexp(from)) {
return custom_conversion<T>::as_sexp(from);
}
Which in the case of the reproducer above would be used like so:
namespace cpp11 {
template <>
struct custom_conversion<test::triple> {
static test::triple as_cpp(SEXP from) {
cpp11::strings r{from};
if (r.size() == 3) {
return test::triple{.arch = r[0], .vendor = r[1], .os = r[2]};
}
stop("Expected string vector of length 3");
}
static SEXP as_sexp(const test::triple& from) {
return cpp11::writable::strings({from.arch, from.vendor, from.os});
}
};
}
- 主要言語
- C++
- スター
- 224
- フォーク
- 52
- PR マージ指標
- 30日以内にマージされた PR はありません
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
r-lib/cpp11 のほかの issue
-
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 48/100
-
難易度 5/5 1週間以上 初心者へのやさしさ 20/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 42/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 45/100
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 65/100
duckdb/duckdb-wasm#2258 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
objectionary/eo-graphs#75 ·
-
Coarray integration tests carry no LABELS, so run_tests.py silently skips them under every backend オープンcoarray
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
FISCO-BCOS/FISCO-BCOS#5642 ·