主要思路

1. 遍历所有结点， 将入度为零的结点加入队列中，并标记为已访问
2. 依次遍历入度为零的结点的相邻结点，度为1时（即删除当前访问结点后该相邻结点的入度变为0）将其加入队列中。
3. 重复上述过程，当列中为队列中所有访问的结点个数小于所有结点个数时，即图中存在环路，不存在拓扑排序

代码实现 + 详细注释：

#include <iostream>
#include <cstring>
#include <algorithm>

using namespace std;

const int N = 1e5 + 10, M = 1e5 + 10;

// 邻接表不带权
int h[N], e[M], ne[M], idx;

// 使用数组模拟队列
int q[N];
int n,m;
int d[N];       // 当前节点的入度

// 添加到一条a到b的有向边
void add(int a, int b) {
    // e[] 存放新的结点， h[i]存放i作为头结点的下一个节点的下标，ne[i]存放的是当前结点的下一个节点的下标
    e[idx] = b, ne[idx] = h[a], h[a] = idx ++;
}

// 是否存在拓扑排序
bool topsort()
{
    int hh = 0, tt = -1;                // 初始化队头和队尾指针

    // 遍历所有结点
    for (int i = 1; i <= n; i ++ )
        if (!d[i]) q[++tt] = i;     // 找到所有入度为零的结点入队

    // BFS过程
    while (hh <= tt)                // 队列不为空时循环判断
    {
        int t = q[hh ++];           // 取出队头元素

        for (int i = h[t]; i != -1; i = ne[i] )
        {
            int j = e[i];           // 遍历相邻的所有结点
            d[j]--;                 // 删除t指向j的边
            if (d[j] == 0)
                q[++ tt] = j;
        }
    }
    return tt == n-1;
}
int main()
{
    cin >> n >> m;
    // 初始化所有结点为空
    memset(h, -1, sizeof h);
    while (m -- )
    {
        int a, b;
        cin >> a >> b;
        add(a, b);      // 添加一条a到b的有向边
        d[b]++;         // 结点b的入度加+1
    }
    // 存在拓扑排序
    if (topsort())
    {
        for (int i = 0; i < n; i ++ )
            cout << q[i] << " ";        
    }
    else puts("-1");
    return 0;
}