From 35f7db8e91a58dfda279f599bb347a8221ac34f2 Mon Sep 17 00:00:00 2001
From: Alessio Quaglino <quaglino@google.com>
Date: Mon, 20 Apr 2026 06:48:16 -0700
Subject: [PATCH] Add `StringToVector<std::string>` overload for `char*`.

This overload allows `StringToVector` to accept a `char*` argument when parsing into a `std::vector<std::string>`, by converting the `char*` to `std::string` before processing.

PiperOrigin-RevId: 902611443
Change-Id: I2048918f915c1bac74522f368ea28f23ca9a6885
---
 src/user/user_util.cc | 4 ++++
 src/user/user_util.h  | 1 +
 2 files changed, 5 insertions(+)

diff --git a/src/user/user_util.cc b/src/user/user_util.cc
index b98516fc..6f5bc1a4 100644
--- a/src/user/user_util.cc
+++ b/src/user/user_util.cc
@@ -1333,6 +1333,10 @@ template <typename T> std::vector<T> StringToVector(char* cs) {
   return v;
 }
 
+template<> MJAPI std::vector<std::string> StringToVector(char* cs) {
+  return StringToVector<std::string>(std::string(cs));
+}
+
 template<> MJAPI std::vector<std::string> StringToVector(const std::string& s) {
   std::vector<std::string> v;
   std::stringstream ss(s);
diff --git a/src/user/user_util.h b/src/user/user_util.h
index b2842d85..65a21a7b 100644
--- a/src/user/user_util.h
+++ b/src/user/user_util.h
@@ -264,6 +264,7 @@ template<typename T> MJAPI std::string VectorToString(const std::vector<T>& v);
 // convert string to vector
 template<typename T> MJAPI std::vector<T> StringToVector(char *cs);
 template<typename T> MJAPI std::vector<T> StringToVector(const std::string& s);
+template<> MJAPI std::vector<std::string> StringToVector(char* cs);
 template<> MJAPI std::vector<std::string> StringToVector(const std::string& s);
 
 }  // namespace mujoco::user