自动扣除模板

昨天我在stackoverflow上有一个关于实现不同模板类型之间特定转换的问题。

这是几乎被提议的类。我说几乎是因为我改变了它的一小部分，希望能简化它。

#include <iostream>
#include <type_traits>
// Helper class
template<bool from, bool to> 
struct ok_to_copy_foos : std::false_type {};
// Define all valid conversions as specializations:
template<>
struct ok_to_copy_foos<false, false> : std::true_type {};
template<>
struct ok_to_copy_foos<true, false> : std::true_type {};
////////////////////////////////////////////////////////////////////
template<bool Owner>
class Foo {
static constexpr bool owner_ = Owner;
public:
    Foo() {}
    Foo(const Foo &o)
    {
        static_assert(ok_to_copy_foos<Owner, Owner>::value, "can only copy from Foo<true> to Foo<false>");
    }
    Foo& operator=(const Foo& foo) 
    {
        static_assert(ok_to_copy_foos<Owner, Owner>::value, "can only assign from Foo<true> to Foo<false>");
        return *this;
    }
    template<bool U>
    Foo(const Foo<U> &)
    {
        static_assert(ok_to_copy_foos<Owner, Owner>::value, "can only copy from Foo<true> to Foo<false>");
    }
    template<bool U>
    Foo &operator=(const Foo<U> &)
    {
        static_assert(ok_to_copy_foos<Owner, Owner>::value, "can only assign from Foo<true> to Foo<false>");
        return *this;
    }
    void bar()
    {
        std::cout << owner_ << " n";
    }
};

在这个类中，目的是您可以复制或赋值，但结果应该始终是Foo<false>，而其他一切都是禁止的。本质上，这意味着你不能从Foo<true>复制或分配到Foo '。我不确定是否有更好的方法来实现这一点，但这是我目前得到的。

然而，有些东西不能像我希望的那样工作，我需要一些帮助来实现这一点。

Foo<true> t;
auto f = t;

这将导致编译器错误问题是编译器能否判断出auto实际上应该是Foo<false> ?