/*
 *  Copyright 2016 The WebRTC Project Authors. All rights reserved.
 *
 *  Use of this source code is governed by a BSD-style license
 *  that can be found in the LICENSE file in the root of the source
 *  tree. An additional intellectual property rights grant can be found
 *  in the file PATENTS.  All contributing project authors may
 *  be found in the AUTHORS file in the root of the source tree.
 */

#ifndef RTC_BASE_FUNCTION_VIEW_H_
#define RTC_BASE_FUNCTION_VIEW_H_

#include <type_traits>
#include <utility>

#include "rtc_base/checks.h"

// Just like std::function, FunctionView will wrap any callable and hide its
// actual type, exposing only its signature. But unlike std::function,
// FunctionView doesn't own its callable---it just points to it. Thus, it's a
// good choice mainly as a function argument when the callable argument will
// not be called again once the function has returned.
//
// Its constructors are implicit, so that callers won't have to convert lambdas
// and other callables to FunctionView<Blah(Blah, Blah)> explicitly. This is
// safe because FunctionView is only a reference to the real callable.
//
// Example use:
//
//   void SomeFunction(rtc::FunctionView<int(int)> index_transform);
//   ...
//   SomeFunction([](int i) { return 2 * i + 1; });
//
// Note: FunctionView is tiny (essentially just two pointers) and trivially
// copyable, so it's probably cheaper to pass it by value than by const
// reference.

namespace rtc
{

template <typename T>
class FunctionView; // Undefined.

template <typename RetT, typename... ArgT>
class FunctionView<RetT(ArgT...)> final
{
public:
    // Constructor for lambdas and other callables; it accepts every type of
    // argument except those noted in its enable_if call.
    template <
        typename F,
        typename std::enable_if<
            // Not for function pointers; we have another constructor for that
            // below.
            !std::is_function<typename std::remove_pointer<
                typename std::remove_reference<F>::type>::type>::value
            &&

            // Not for nullptr; we have another constructor for that below.
            !std::is_same<std::nullptr_t,
                typename std::remove_cv<F>::type>::value
            &&

            // Not for FunctionView objects; we have another constructor for that
            // (the implicitly declared copy constructor).
            !std::is_same<FunctionView,
                typename std::remove_cv<typename std::remove_reference<
                    F>::type>::type>::value>::type* = nullptr>
    FunctionView(F&& f)
        : call_(CallVoidPtr<typename std::remove_reference<F>::type>)
    {
        f_.void_ptr = &f;
    }

    // Constructor that accepts function pointers. If the argument is null, the
    // result is an empty FunctionView.
    template <
        typename F,
        typename std::enable_if<std::is_function<typename std::remove_pointer<
            typename std::remove_reference<F>::type>::type>::value>::type* = nullptr>
    FunctionView(F&& f)
        : call_(f ? CallFunPtr<typename std::remove_pointer<F>::type> : nullptr)
    {
        f_.fun_ptr = reinterpret_cast<void (*)()>(f);
    }

    // Constructor that accepts nullptr. It creates an empty FunctionView.
    template <typename F,
        typename std::enable_if<std::is_same<
            std::nullptr_t,
            typename std::remove_cv<F>::type>::value>::type* = nullptr>
    FunctionView(F&& f)
        : call_(nullptr)
    {
    }

    // Default constructor. Creates an empty FunctionView.
    FunctionView()
        : call_(nullptr)
    {
    }

    RetT operator()(ArgT... args) const
    {
        RTC_DCHECK(call_);
        return call_(f_, std::forward<ArgT>(args)...);
    }

    // Returns true if we have a function, false if we don't (i.e., we're null).
    explicit operator bool() const { return !!call_; }

private:
    union VoidUnion {
        void* void_ptr;
        void (*fun_ptr)();
    };

    template <typename F>
    static RetT CallVoidPtr(VoidUnion vu, ArgT... args)
    {
        return (*static_cast<F*>(vu.void_ptr))(std::forward<ArgT>(args)...);
    }
    template <typename F>
    static RetT CallFunPtr(VoidUnion vu, ArgT... args)
    {
        return (reinterpret_cast<typename std::add_pointer<F>::type>(vu.fun_ptr))(
            std::forward<ArgT>(args)...);
    }

    // A pointer to the callable thing, with type information erased. It's a
    // union because we have to use separate types depending on if the callable
    // thing is a function pointer or something else.
    VoidUnion f_;

    // Pointer to a dispatch function that knows the type of the callable thing
    // that's stored in f_, and how to call it. A FunctionView object is empty
    // (null) iff call_ is null.
    RetT (*call_)(VoidUnion, ArgT...);
};

} // namespace rtc

#endif // RTC_BASE_FUNCTION_VIEW_H_