此行：

ab = A();

正在创建一个临时A对象，然后将其移动到ab中。
通过添加复制/移动构造函数和赋值运算符可以观察到这一点：

#include <iostream>
#include <variant>

struct A
{
    A()                    { std::cout << "Constructing A\n"; }
    A(A const&)            { std::cout << "Copy constructing A\n"; }
    A(A&&)                 { std::cout << "Move constructing A\n"; }
    A& operator=(A const&) { std::cout << "Copy assigning A\n"; return *this; }
    A& operator=(A&&)      { std::cout << "Move assigning A\n"; return *this; }
    ~A()                   { std::cout << "Destructing A\n"; }
};

struct B
{
};

int main()
{
    std::variant<std::monostate, A, B> ab;
    ab = A();
}

输出：

Constructing A
Move constructing A
Destructing A
Destructing A

您可以使用std::variant::emplace来避免复制/移动。
如果将上述行替换为：

ab.emplace<A>();

输出应变为：

Constructing A
Destructing A

我在你的代码里加了两行。

struct A
{
    A() { std::cout << "Constructing A\n"; }
    A(const A& a) { std::cout << "Copy  constructing A\n"; }  // <== here
    ~A() { std::cout << "Destructing A\n"; }
};

struct B
{
    B() { std::cout << "Constructing B\n"; }
    B(const B& a) { std::cout << "Copy  constructing B\n"; }   // <== and here
    ~B() { std::cout << "Destructing B\n"; }
};

那么我们可以得到这样的结果：

Constructing A
Copy  constructing A
Destructing A
Destructing A

我对std：：variant不太熟悉，我只是希望上面的实验能让你更接近真实的的答案。：）