std-function-test.cpp

#include <iostream>
#include <functional>

class Undefined_class;

union Nocopy_types {
  void* a;
  const void* b;
  void (*c)();
  void (Undefined_class::*d)();
};

static constexpr size_t kMaxSize = sizeof(Nocopy_types);
static constexpr size_t kMaxAlign = sizeof(Nocopy_types);

template <typename T>
struct StoredLocally {
  static const bool value = (
    std::__is_location_invariant<T>::value &&
    sizeof(T) <= kMaxSize &&
    __alignof__(T) <= kMaxAlign &&
    kMaxAlign % __alignof__(T) == 0);
};

template <typename T>
bool stored_locally(T t) {
  return StoredLocally<T>::value;
}

template <size_t N>
struct DummyData_t {
  char data[N];
};

template <size_t N>
struct DummyData : public DummyData_t<N> {
  static_assert(sizeof(DummyData_t<N>) == N);
};

void hoge(void) {}
struct Fuga {
  void piyo(void) {}
};

template <size_t N>
struct Fn {
  DummyData<N> dummy;

  void operator()(void) {}
};

struct Gn {
  Gn& operator=(const Gn& gn) { return *this; };
  void operator()(void) {}
};

int main(void) {
  std::cout << sizeof(void*) << std::endl;                        // 8
  std::cout << sizeof(const void*) << std::endl;                  // 8
  std::cout << sizeof(void(*)()) << std::endl;                    // 8
  std::cout << sizeof(void (Undefined_class::*)()) << std::endl;  // 16
  std::cout << sizeof(Nocopy_types) << std::endl;                 // 16

  // 関数ポインタ
  std::cout << stored_locally(hoge) << std::endl;                     // true
  // メンバ関数ポインタ
  std::cout << stored_locally(&Fuga::piyo) << std::endl;              // true

  // ラムダ式
  std::cout << stored_locally([](){}) << std::endl;                   // true （sizeof(fn)==1だから）
  std::cout << stored_locally([a=DummyData<16>()](){}) << std::endl;  // true （sizeof(fn)==16だから）
  std::cout << stored_locally([a=DummyData<17>()](){}) << std::endl;  // false（sizeof(fn)==17だから）

  // 関数オブジェクト
  std::cout << stored_locally(Fn<16>()) << std::endl;                 // true （sizeof(fn)==16だから）
  std::cout << stored_locally(Fn<17>()) << std::endl;                 // false（sizeof(fn)==17だから）
  std::cout << stored_locally(Gn()) << std::endl;                     // false（trivially_copyableではないから）

  std::cout << sizeof(std::function<int(int,int,int,int,int)>) << std::endl;

  return 0;
}