1 files changed, 142 insertions, 0 deletions
diff --git a/mfbt/tests/TestFunctionRef.cpp b/mfbt/tests/TestFunctionRef.cpp
new file mode 100644
index 0000000000..714c6e8340
--- /dev/null
+++ b/mfbt/tests/TestFunctionRef.cpp
@@ -0,0 +1,142 @@
+/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
+/* vim: set ts=8 sts=2 et sw=2 tw=80: */
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this file,
+ * You can obtain one at http://mozilla.org/MPL/2.0/. */
+
+#include "mozilla/Assertions.h"
+#include "mozilla/FunctionRef.h"
+#include "mozilla/UniquePtr.h"
+
+#define CHECK(c)                                       \
+  do {                                                 \
+    bool cond = !!(c);                                 \
+    MOZ_RELEASE_ASSERT(cond, "Failed assertion: " #c); \
+  } while (false)
+
+int addConstRefs(const int& arg1, const int& arg2) { return arg1 + arg2; }
+
+void incrementPointer(int* arg) { (*arg)++; }
+
+int increment(int arg) { return arg + 1; }
+
+int incrementUnique(mozilla::UniquePtr<int> ptr) { return *ptr + 1; }
+
+static bool helloWorldCalled = false;
+
+void helloWorld() { helloWorldCalled = true; }
+
+struct S {
+  static int increment(int arg) { return arg + 1; }
+};
+
+struct Incrementor {
+  int operator()(int arg) { return arg + 1; }
+};
+
+static void TestNonmemberFunction() {
+  mozilla::FunctionRef<int(int)> f(&increment);
+  CHECK(f(42) == 43);
+}
+
+static void TestStaticMemberFunction() {
+  mozilla::FunctionRef<int(int)> f(&S::increment);
+  CHECK(f(42) == 43);
+}
+
+static void TestFunctionObject() {
+  auto incrementor = Incrementor();
+  mozilla::FunctionRef<int(int)> f(incrementor);
+  CHECK(f(42) == 43);
+}
+
+static void TestLambda() {
+  // Test non-capturing lambda
+  auto lambda1 = [](int arg) { return arg + 1; };
+  mozilla::FunctionRef<int(int)> f(lambda1);
+  CHECK(f(42) == 43);
+
+  // Test capturing lambda
+  int one = 1;
+  auto lambda2 = [one](int arg) { return arg + one; };
+  mozilla::FunctionRef<int(int)> g(lambda2);
+  CHECK(g(42) == 43);
+
+  mozilla::FunctionRef<int(int)> h([](int arg) { return arg + 1; });
+  CHECK(h(42) == 43);
+}
+
+static void TestOperatorBool() {
+  mozilla::FunctionRef<int(int)> f1;
+  CHECK(!static_cast<bool>(f1));
+
+  mozilla::FunctionRef<int(int)> f2 = increment;
+  CHECK(static_cast<bool>(f2));
+
+  mozilla::FunctionRef<int(int)> f3 = nullptr;
+  CHECK(!static_cast<bool>(f3));
+}
+
+static void TestReferenceParameters() {
+  mozilla::FunctionRef<int(const int&, const int&)> f = &addConstRefs;
+  int x = 1;
+  int y = 2;
+  CHECK(f(x, y) == 3);
+}
+
+static void TestVoidNoParameters() {
+  mozilla::FunctionRef<void()> f = &helloWorld;
+  CHECK(!helloWorldCalled);
+  f();
+  CHECK(helloWorldCalled);
+}
+
+static void TestPointerParameters() {
+  mozilla::FunctionRef<void(int*)> f = &incrementPointer;
+  int x = 1;
+  f(&x);
+  CHECK(x == 2);
+}
+
+static void TestImplicitFunctorTypeConversion() {
+  auto incrementor = Incrementor();
+  mozilla::FunctionRef<long(short)> f = incrementor;
+  short x = 1;
+  CHECK(f(x) == 2);
+}
+
+static void TestImplicitLambdaTypeConversion() {
+  mozilla::FunctionRef<long(short)> f = [](short arg) { return arg + 1; };
+  short x = 1;
+  CHECK(f(x) == 2);
+}
+
+static void TestImplicitFunctionPointerTypeConversion() {
+  mozilla::FunctionRef<long(short)> f = &increment;
+  short x = 1;
+  CHECK(f(x) == 2);
+}
+
+static void TestMoveOnlyArguments() {
+  mozilla::FunctionRef<int(mozilla::UniquePtr<int>)> f(&incrementUnique);
+
+  CHECK(f(mozilla::MakeUnique<int>(5)) == 6);
+}
+
+int main() {
+  TestNonmemberFunction();
+  TestStaticMemberFunction();
+  TestFunctionObject();
+  TestLambda();
+  TestOperatorBool();
+  TestReferenceParameters();
+  TestPointerParameters();
+  TestVoidNoParameters();
+  TestImplicitFunctorTypeConversion();
+  TestImplicitLambdaTypeConversion();
+  TestImplicitFunctionPointerTypeConversion();
+  TestMoveOnlyArguments();
+
+  printf("TestFunctionRef OK!\n");
+  return 0;
+}