construct/include/ircd/conf.h

// Matrix Construct
//
// Copyright (C) Matrix Construct Developers, Authors & Contributors
// Copyright (C) 2016-2018 Jason Volk <jason@zemos.net>
//
// Permission to use, copy, modify, and/or distribute this software for any
// purpose with or without fee is hereby granted, provided that the above
// copyright notice and this permission notice is present in all copies. The
// full license for this software is available in the LICENSE file.

#pragma once
#define HAVE_IRCD_CONF_H

/// Configuration system.
///
/// This system disseminates mutable runtime values throughout IRCd. All users
/// that integrate a configurable value will create a [static] conf::item<>
/// instantiated with one of the explicit types available; also a name and
/// default value.
///
/// All conf::items are collected by this system. Users that administrate
/// configuration will push values to the conf::item's. The various items have
/// O(1) access to the value contained in their item instance. Administrators
/// have logarithmic access through this interface using the items map by name.
///
/// All conf::items can be controlled by environmental variables at program
/// startup. The name of the conf::item in the environment uses underscore
/// '_' rather than '.' and the environment takes precedence over both defaults
/// and databased values. This means you can set a conf through an env var
/// to override a broken value.
///
namespace ircd::conf
{
	template<class T = void> struct item;  // doesn't exist
	template<> struct item<void>;          // base class of all conf items
	template<> struct item<std::string>;
	template<> struct item<bool>;
	template<> struct item<uint64_t>;
	template<> struct item<int64_t>;
	template<> struct item<uint32_t>;
	template<> struct item<int32_t>;
	template<> struct item<float>;
	template<> struct item<double>;
	template<> struct item<hours>;
	template<> struct item<seconds>;
	template<> struct item<milliseconds>;
	template<> struct item<microseconds>;

	template<class T> struct value;        // abstraction for carrying item value
	template<class T> struct lex_castable; // abstraction for lex_cast compatible

	IRCD_EXCEPTION(ircd::error, error)
	IRCD_EXCEPTION(error, not_found)
	IRCD_EXCEPTION(error, bad_value)

	using set_cb = std::function<void (item<void> &)>;

	const size_t NAME_MAX_LEN {127};
	const size_t VALUE_MAX_LEN {48_KiB};

	extern std::map<string_view, item<> *> items;
	extern callbacks<void (item<> &)> on_init;

	bool exists(const string_view &key) noexcept;
	bool environ(const string_view &key) noexcept;
	bool persists(const string_view &key);

	string_view get(std::nothrow_t, const mutable_buffer &out, const string_view &key);
	std::string get(std::nothrow_t, const string_view &key);
	string_view get(const mutable_buffer &out, const string_view &key);
	std::string get(const string_view &key);

	template<class T> T as(const string_view &key, T def);
	template<class T> T as(const string_view &key);
	template<> bool as(const string_view &key, bool def);
	template<> bool as(const string_view &key);

	bool set(const string_view &key, const string_view &value);
	bool set(std::nothrow_t, const string_view &key, const string_view &value);

	bool fault(std::nothrow_t, const string_view &key) noexcept;
	void fault(const string_view &key);

	bool reset(std::nothrow_t, const string_view &key);
	bool reset(const string_view &key);
	size_t reset();
}

/// Conf item base class. You don't create this directly; use one of the
/// derived templates instead.
template<>
struct ircd::conf::item<void>
{
	json::strung feature_;
	json::object feature;
	string_view name;
	conf::set_cb set_cb;

  protected:
	virtual string_view on_get(const mutable_buffer &) const;
	virtual bool on_set(const string_view &);
	void call_init();

  public:
	virtual size_t size() const = 0;
	string_view get(const mutable_buffer &) const;
	std::string get() const;
	bool set(const string_view &);
	void fault() noexcept;

	item(const json::members &, conf::set_cb);
	item(item &&) = delete;
	item(const item &) = delete;
	virtual ~item() noexcept;
};

/// Conf item value abstraction. If possible, the conf item will also
/// inherit from this template to deduplicate functionality between
/// conf items which contain similar classes of values.
template<class T>
struct ircd::conf::value
{
	using value_type = T;

	T _value;

	operator const T &() const noexcept
	{
		return _value;
	}

	template<class... A>
	value(A&&... a)
	:_value(std::forward<A>(a)...)
	{}
};

template<class T>
struct ircd::conf::lex_castable
:conf::item<>
,conf::value<T>
{
	string_view on_get(const mutable_buffer &out) const override
	{
		return lex_cast(this->_value, out);
	}

	bool on_set(const string_view &s) override
	{
		this->_value = lex_cast<T>(s);
		return true;
	}

	size_t size() const override
	{
		return LEX_CAST_BUFSIZE;
	}

	lex_castable(const json::members &members,
	             conf::set_cb set_cb = {})
	:conf::item<>
	{
		members, std::move(set_cb)
	}
	,conf::value<T>
	(
		feature.get("default", T(0))
	)
	{
		call_init();
	}
};

template<>
struct ircd::conf::item<std::string>
:conf::item<>
,conf::value<std::string>
{
	explicit operator const std::string &() const
	{
		return _value;
	}

	explicit operator bool() const
	{
		return !empty(_value);
	}

	bool operator!() const
	{
		return !static_cast<bool>(*this);
	}

	operator string_view() const
	{
		return _value;
	}

	string_view on_get(const mutable_buffer &out) const override;
	bool on_set(const string_view &s) override;
	size_t size() const override;

	item(const json::members &members, conf::set_cb set_cb = {});
};

template<>
struct ircd::conf::item<bool>
:conf::item<>
,conf::value<bool>
{
	bool operator!() const
	{
		return !static_cast<const bool &>(*this);
	}

	string_view on_get(const mutable_buffer &out) const override;
	bool on_set(const string_view &s) override;
	size_t size() const override;

	item(const json::members &members, conf::set_cb set_cb = {});
};

template<>
struct ircd::conf::item<uint64_t>
:lex_castable<uint64_t>
{
	using lex_castable::lex_castable;
};

template<>
struct ircd::conf::item<int64_t>
:lex_castable<int64_t>
{
	using lex_castable::lex_castable;
};

template<>
struct ircd::conf::item<uint32_t>
:lex_castable<uint32_t>
{
	using lex_castable::lex_castable;
};

template<>
struct ircd::conf::item<int32_t>
:lex_castable<int32_t>
{
	using lex_castable::lex_castable;
};

template<>
struct ircd::conf::item<double>
:lex_castable<double>
{
	using lex_castable::lex_castable;
};

template<>
struct ircd::conf::item<float>
:lex_castable<float>
{
	using lex_castable::lex_castable;
};

template<>
struct ircd::conf::item<ircd::hours>
:lex_castable<ircd::hours>
{
	using lex_castable::lex_castable;
};

template<>
struct ircd::conf::item<ircd::seconds>
:lex_castable<ircd::seconds>
{
	using lex_castable::lex_castable;
};

template<>
struct ircd::conf::item<ircd::milliseconds>
:lex_castable<ircd::milliseconds>
{
	using lex_castable::lex_castable;
};

template<>
struct ircd::conf::item<ircd::microseconds>
:lex_castable<ircd::microseconds>
{
	using lex_castable::lex_castable;
};