pytorch/test/cpp/api/static.cpp
Peter Goldsborough 4bdaca827c Make call operator on module holder call forward (#15831)
Summary:
In Python, you can use the call operator to invoke the `forward()` method of a module. In C++ this was currently not possible, because I couldn't figure out how to deduce the return type of a module's `forward()` method under the constraint that `forward()` may not exist at all (since the base module class in C++ does not mandate a `forward()` method). I now figured it out, so the call operator can be used.

ezyang ebetica
Pull Request resolved: https://github.com/pytorch/pytorch/pull/15831

Differential Revision: D13652676

Pulled By: goldsborough

fbshipit-source-id: ccab45a15215dda56460e560f0038781b539135f
2019-01-14 14:40:33 -08:00

105 lines
2.8 KiB
C++

#include <gtest/gtest.h>
#include <torch/detail/static.h>
#include <torch/nn/module.h>
#include <torch/nn/modules/any.h>
#include <torch/nn/modules/linear.h>
#include <torch/csrc/utils/variadic.h>
#include <string>
#include <vector>
template <
typename T,
typename = torch::enable_if_t<!torch::detail::is_module<T>::value>>
bool f(T&& m) {
return false;
}
template <typename T>
torch::detail::enable_if_module_t<T, bool> f(T&& m) {
return true;
}
TEST(TestStatic, AllOf) {
ASSERT_TRUE(torch::all_of<>::value);
ASSERT_TRUE(torch::all_of<true>::value);
ASSERT_TRUE((torch::all_of<true, true, true>::value));
ASSERT_FALSE(torch::all_of<false>::value);
ASSERT_FALSE((torch::all_of<false, false, false>::value));
ASSERT_FALSE((torch::all_of<true, true, false>::value));
}
TEST(TestStatic, AnyOf) {
ASSERT_FALSE(torch::any_of<>::value);
ASSERT_TRUE(bool((torch::any_of<true>::value)));
ASSERT_TRUE(bool((torch::any_of<true, true, true>::value)));
ASSERT_FALSE(bool((torch::any_of<false>::value)));
}
TEST(TestStatic, EnableIfModule) {
ASSERT_TRUE(f(torch::nn::LinearImpl(1, 2)));
ASSERT_FALSE(f(5));
ASSERT_TRUE(torch::detail::check_not_lvalue_references<int>());
ASSERT_TRUE((torch::detail::check_not_lvalue_references<float, int, char>()));
ASSERT_FALSE(
(torch::detail::check_not_lvalue_references<float, int&, char>()));
ASSERT_TRUE(torch::detail::check_not_lvalue_references<std::string>());
ASSERT_FALSE(torch::detail::check_not_lvalue_references<std::string&>());
}
struct A : torch::nn::Module {
int forward() {
return 5;
}
};
struct B : torch::nn::Module {
std::string forward(torch::Tensor tensor) {
return "";
}
};
struct C : torch::nn::Module {
float forward(torch::Tensor& tensor) {
return 5.0;
}
};
struct D : torch::nn::Module {
char forward(torch::Tensor&& tensor) {
return 'x';
}
};
struct E : torch::nn::Module {};
// Put in a function because macros don't handle the comma between arguments to
// is_same well ...
template <typename Module, typename ExpectedType, typename... Args>
void assert_has_expected_type() {
using ReturnType =
typename torch::detail::return_type_of_forward<Module, Args...>::type;
constexpr bool is_expected_type =
std::is_same<ReturnType, ExpectedType>::value;
ASSERT_TRUE(is_expected_type) << Module().name();
}
TEST(TestStatic, ReturnTypeOfForward) {
assert_has_expected_type<A, int>();
assert_has_expected_type<B, std::string, torch::Tensor>();
assert_has_expected_type<C, float, torch::Tensor&>();
assert_has_expected_type<D, char, torch::Tensor&&>();
assert_has_expected_type<E, void>();
}
TEST(TestStatic, Apply) {
std::vector<int> v;
torch::apply([&v](int x) { v.push_back(x); }, 1, 2, 3, 4, 5);
ASSERT_EQ(v.size(), 5);
for (size_t i = 0; i < v.size(); ++i) {
ASSERT_EQ(v.at(i), i + 1);
}
}