arg.hpp

Go to the documentation of this file.

#pragma once
#include "operator_precedence.hpp"
#include "argument_expression.hpp"
#include <concepts>
#include <ostream>
#include <tuple>
#include <type_traits>

namespace xtd {
  namespace expressions {
    template <size_t index>
    struct argument : argument_expression {
      
      static constexpr operator_precedence precedence = operator_precedence::arg;

      
      argument() = default;

      
      template<typename... args_t>
      constexpr auto operator()(args_t&&... args) const {return std::get<index - 1>(std::forward_as_tuple(std::forward<args_t>(args)...));}
    };

    template <size_t index>
    constexpr argument<index> arg;

    template <size_t index>
    const argument<index> expression::arg;
    
    template <size_t index>
    inline auto operator <<(std::ostream& os, const argument<index>&) -> std::ostream& {return os << "_" << index;}
  }
}