Question

我试图用C ++实现补间库。这主要是出于教育目的，因为可能有其他库比我更好（比如：https://github.com/mobius3/tweeny这样做，但在模板函数方面却是我的头脑。）

主要目标是在编译时尽可能多地做。否则我可以用一些函数指针简化一些事情。

以下是一些（许多）缓动函数：

struct easing
{
    struct linear {
        template<typename T>
        static T run(float t, T start, T end) {
            return static_cast<T>((end - start) * t + start);
        }
    };

    struct quadratic_in {
        template<typename T>
        static T run(float t, T start, T end) {
            return static_cast<T>((end - start) * t * t + start);
        }
    };

    struct quadratic_out {
        template<typename T>
        static T run(float t, T start, T end) {
            return static_cast<T>((-(end - start)) * t * (t - 2) + start);
        }
    };
};

这里是图书馆代码的相关部分：

namespace detail {
template <typename TEase, typename T>
struct tween
{
    T _from;
    T _to;
    float _running_time;
    float _duration;
    T* _value;
};

template <typename TEase, typename T>
bool update(tween<TEase, T>& tween, float dt)
{
    float t = tween._running_time / tween._duration;
    if (t > 1.0f)
    {
        *tween._value = tween._to;

        return false;
    }

    *tween._value = TEase::run(t, tween._from, tween._to);
    tween._running_time += dt;

    return true;
}

std::tuple<
    std::vector<tween<easing::linear, float>>,
    std::vector<tween<easing::quadratic_in, float>>,
    std::vector<tween<easing::quadratic_out, float>>,
    std::vector<tween<easing::linear, my_vec2_type>>,
    std::vector<tween<easing::quadratic_in, my_vec2_type>>,
    std::vector<tween<easing::quadratic_out, my_vec2_type>>,
    std::vector<tween<easing::linear, my_vec3_type>>,
    std::vector<tween<easing::quadratic_in, my_vec3_type>>,
    std::vector<tween<easing::quadratic_out, my_vec3_type>>,
    // Getting silly...
> g_tweens;
}

void update(float dt)
{
    // Can use std::apply with C++17
    my_apply([dt](auto& tweens) {
        for (auto it = begin(tweens); it != end(tweens);)
        {
            if (update(*it, dt))
            {
                ++it;
            }
            else
            {
                it = tweens.erase(it);
            }
        }
    }, detail::g_tweens);
}

template <typename TEasing, typename T>
void create(T* value, T to, float duration)
{
    std::get<std::vector<detail::tween<TEasing, T>>>(detail::g_tweens).push_back({ *value, to, 0.0f, duration, value });
}

一个例子：

my_vec3_type color(1.0f, 0.0f, 0.0f);
tween::create<easing::linear>(&color, my_vec3_type(0.0f, 1.0f, 0.0f), 1.0f);

for (int i = 0; i < 100; ++i)
{
    tween::update(0.01f);

    std::cout << "color = (" << color.r << ", " << color.g << ", " << color.b << ")" << std::endl;
}

这实际上主要是我想要的。当然，我需要将所有缓动类型添加到元组中 - 并且有很多 - 但我认为可能是合理的，因为它们不太可能发生太大变化。

但最初我只需要花车。而现在我希望能够轻松其他类型，如颜色和其他一些类型。所以可能有数百种组合。任何想要使用它的人都需要编辑g_tween签名以添加自己的类型。

最大的问题 - 正如我所看到的 - 是补间类型的第二个模板参数，允许我使用任何标量类型。我只是希望它适用于任何具有正确运算符定义的东西。像：

template <typename TEase>
struct tween
{
    std::any _from;
    std::any _to;
    float _running_time;
    float _duration;
    std::any* _value;
};

也就是说，如果有某种方法来恢复类型，那么我可以调用正确的缓动函数。欢迎任何建议或替代方案！

Answer 1

简而言之，您想要键入erase。

所以here是一个完整类型的擦除库，实现为伪方法指针。

你可以做一些奇特的事情，从存储中分配调度。或者你可以直接使用它。

将所有from / to /指针放入单个any中。毕竟，他们是并列的。

然后使用包含伪方法的super_any。

template<class T>
struct Tparams {
  T from; T to; T* value;
};

template<class T>
Tparams<T> make_params( T from, T to, T* value ) {
  return {from, to, value};
}

template<class TEase>
auto tweener() {
  return [](auto&& Tparam, float t){
    *Tparam.value = TEase::run(t, Tparam.from, Tparam.to);
  };
}
template<class TEase>
const auto do_tween = make_any_method<void(float)>(tweener<TEase>());

template <typename TEase>
struct tween
{
  super_any<decltype(do_tween<TEase>)> Tparams;
  float _running_time;
  float _duration;
};

然后鲍勃是你的叔叔。 live example

template <typename TEase>
bool update(tween<TEase>& tween, float dt)
{
  float t = tween._running_time / tween._duration;
  t = (std::min)(t, 1.0f);

  (tween.Tparams->*do_tween<TEase>)(t);

  tween._running_time += dt;

  return true;
}

float value = 0;
auto test = tween<easing::linear>{make_params(0.0f, 10.0f, &value), 0.0f, 100.0f};

for (int i = 0; i < 100; ++i)
{
  update( test, 1.0 );

  std::cout << value << '\n';
}

现在我链接的库将类型擦除伪方法绑定到任何存储。设计不需要这样，类型擦除通常也不需要伪方法技术。

我们可以从any_methods存储中拆分any，然后手动切换哪个存储空间。

但事实上你有{3}的3个独立类型擦除实际上是一个设计缺陷。

避免补间库中的模板组合爆炸

1 个答案: