redeclaring an option with the same type is not an error

1 files changed, 13 insertions, 2 deletions

diff --git a/src/option_manager.hh b/src/option_manager.hh
index 129f09bb..b195d98a 100644
--- a/src/option_manager.hh
+++ b/src/option_manager.hh
@@ -27,6 +27,7 @@ public:
 
     template<typename T> const T& get() const;
     template<typename T> void set(const T& val);
+    template<typename T> bool is_of_type() const;
 
     virtual String get_as_string() const = 0;
     virtual void   set_from_string(const String& str) = 0;
@@ -139,6 +140,11 @@ template<typename T> void Option::set(const T& val)
     return typed_opt->set(val);
 }
 
+template<typename T> bool Option::is_of_type() const
+{
+    return dynamic_cast<const TypedOption<T>*>(this) != nullptr;
+}
+
 template<typename T>
 auto find_option(T& container, const String& name) -> decltype(container.begin())
 {
@@ -155,8 +161,13 @@ public:
     template<typename T>
     Option& declare_option(const String& name, const T& value)
     {
-        if (find_option(m_options, name) != m_options.end())
-            throw runtime_error("option " + name + " already declared");
+        auto it = find_option(m_options, name);
+        if (it != m_options.end())
+        {
+            if ((*it)->is_of_type<T>())
+                return **it;
+            throw runtime_error("option " + name + " already declared with different type");
+        }
         m_options.emplace_back(new TypedOption<T>{*this, name, value});
         return *m_options.back();
     }