diff --git a/include/libimp/span.h b/include/libimp/span.h
new file mode 100644
index 0000000..93d5f3d
--- /dev/null
+++ b/include/libimp/span.h
@@ -0,0 +1,180 @@
+/**
+ * @file libimp/span.h
+ * @author mutouyun (orz@orzz.org)
+ * @brief Describes an object that can refer to a contiguous sequence of objects
+ * @date 2022-10-16
+ */
+#pragma once
+
+#include <type_traits>
+#include <cstddef>
+#include <iterator>
+#include <array>
+#ifdef LIBIMP_CPP_20
+#include <span>
+#endif // LIBIMP_CPP_20
+
+#include "libimp/def.h"
+#include "libimp/detect_plat.h"
+
+LIBIMP_NAMESPACE_BEG_
+namespace detail {
+
+/// @brief helper trait for span
+
+template <typename From, typename To>
+using array_convertible = std::is_convertible<From(*)[], To(*)[]>;
+
+template <typename T, typename Ref>
+using compatible_ref = array_convertible<typename std::remove_reference<Ref>::type, T>;
+
+template <typename It>
+using iter_reference_t = decltype(*std::declval<It&>());
+
+template <typename From, typename To>
+using is_array_convertible = 
+  typename std::enable_if<array_convertible<From, To>::value>::type;
+
+template <typename T, typename It>
+using is_compatible_iter = 
+  typename std::enable_if<compatible_ref<T, iter_reference_t<It>>::value>::type;
+
+template <typename From, typename To>
+using is_inconvertible = 
+  typename std::enable_if<!std::is_convertible<From, To>::value>::type;
+
+/// @brief Obtain the address represented by p 
+///        without forming a reference to the object pointed to by p.
+/// @see   https://en.cppreference.com/w/cpp/memory/to_address
+
+template<typename T>
+constexpr T *to_address(T *ptr) noexcept {
+  static_assert(!std::is_function<T>::value, "ptr shouldn't a function pointer");
+  return ptr;
+}
+
+template<typename T>
+constexpr auto to_address(T const &ptr) 
+  noexcept(noexcept(ptr.operator->()))
+        -> decltype(ptr.operator->()) {
+  return to_address(ptr.operator->());
+}
+
+} // namespace detail
+
+/**
+ * @brief A simple implementation of span.
+ * @see https://en.cppreference.com/w/cpp/container/span
+ */
+template <typename T>
+class span {
+public:
+  using element_type     = T;
+  using value_type       = typename std::remove_cv<element_type>::type;
+  using size_type        = std::size_t;
+  using difference_type  = std::ptrdiff_t;
+  using pointer          = element_type *;
+  using const_pointer    = typename std::remove_const<element_type>::type const *;
+  using reference        = element_type &;
+  using const_reference  = typename std::remove_const<element_type>::type const &;
+  using iterator         = pointer;
+  using reverse_iterator = std::reverse_iterator<iterator>;
+
+private:
+  pointer   ptr_    {nullptr};
+  size_type extent_ {0};
+
+public:
+  constexpr span() noexcept = default;
+  constexpr span(span const &) noexcept = default;
+  constexpr span & operator=(span const &) noexcept = default;
+
+  template <typename It, 
+            typename = detail::is_compatible_iter<T, It>>
+  constexpr span(It first, size_type count) noexcept
+    : ptr_   (detail::to_address(first))
+    , extent_(count) {}
+
+  template <typename It, typename End,
+            typename = detail::is_compatible_iter<T, It>,
+            typename = detail::is_compatible_iter<T, End>,
+            typename = detail::is_inconvertible<End, size_type>>
+  constexpr span(It first, End last) noexcept(noexcept(last - first))
+    : ptr_   (detail::to_address(first))
+    , extent_(static_cast<size_type>(last - first)) {}
+
+  template <typename U, std::size_t E,
+            typename = detail::is_array_convertible<U, element_type>>
+  constexpr span(U (&arr)[E]) noexcept
+    : span(static_cast<pointer>(arr), E) {}
+
+  template <typename U, std::size_t E,
+            typename = detail::is_array_convertible<U, element_type>>
+  constexpr span(std::array<U, E> &arr) noexcept
+	  : span(static_cast<pointer>(arr.data()), E) {}
+
+  template <typename U, std::size_t E,
+            typename = detail::is_array_convertible<typename std::add_const<U>::type, element_type>>
+  constexpr span(std::array<U, E> const &arr) noexcept
+	  : span(static_cast<pointer>(arr.data()), E) {}
+
+  template <typename U,
+            typename = detail::is_array_convertible<U, T>>
+  constexpr span(span<U> const &s) noexcept
+    : ptr_   (s.data())
+    , extent_(s.size()) {}
+
+#ifdef LIBIMP_CPP_20
+  template <typename U, std::size_t E,
+            typename = detail::is_array_convertible<U, T>>
+  constexpr span(std::span<U, E> const &s) noexcept
+    : ptr_   (s.data())
+    , extent_(s.size()) {}
+#endif // LIBIMP_CPP_20
+
+  constexpr size_type size() const noexcept {
+    return extent_;
+  }
+
+  constexpr size_type size_bytes() const noexcept {
+    return size() * sizeof(element_type);
+  }
+
+  constexpr bool empty() const noexcept {
+    return size() == 0;
+  }
+
+  constexpr pointer data() const noexcept {
+    return this->ptr_;
+  }
+
+  constexpr reference front() const noexcept {
+    return *data();
+  }
+
+  constexpr reference back() const noexcept {
+    return *(data() + (size() - 1));
+  }
+
+  constexpr reference operator[](size_type idx) const noexcept {
+    return *(data() + idx);
+  }
+
+  constexpr iterator begin() const noexcept {
+    return iterator(data());
+  }
+
+  constexpr iterator end() const noexcept {
+    return iterator(data() + this->size());
+  }
+
+  constexpr reverse_iterator rbegin() const noexcept {
+    return reverse_iterator(this->end());
+  }
+
+  constexpr reverse_iterator rend() const noexcept {
+    return reverse_iterator(this->begin());
+  }
+};
+
+LIBIMP_NAMESPACE_END_
diff --git a/test/test_imp_span.cpp b/test/test_imp_span.cpp
new file mode 100644
index 0000000..b432e3d
--- /dev/null
+++ b/test/test_imp_span.cpp
@@ -0,0 +1,7 @@
+
+#include "gtest/gtest.h"
+
+#include "libimp/span.h"
+
+TEST(span, span) {
+}
\ No newline at end of file