Есть ли хороший способ убедиться, что результат функции С++ не игнорируется?

Недавно я столкнулся со случаем, когда у меня была константная функция-член, выполняющая операцию и возвращающая результат. Например,

class Foo { ...
    Foo add(Foo const & x) const;
}

Но кто-то другой непреднамеренно вызывал его, как будто он обновлял объект this (игнорируя результат):

Foo a = ...;
Foo b = ...;
a.add(b);

(На самом деле эта ошибка была вызвана несовершенным рефакторингом.)

Есть ли способ заставить последнюю строку выше вызвать ошибку или предупреждение? Следующей лучшей вещью будет перехват во время выполнения, который в основном рассматривается в следующем шаблоне. Однако это убивает оптимизацию возвращаемого значения, как видно из результата счетчика.

template<typename T>
class MustTake {
    T & obj;
    bool took;
public:
    MustTake(T o) : obj(o), took(false) {}
    ~MustTake() { if (!took) throw "not taken"; }
    operator T&() { took = true; return obj;}
};

struct Counter {
    int n;
    Counter() : n(0) {}
    Counter(Counter const & c) : n(c.n+1) {}
    ~Counter() {}
};

Counter zero1() {
    return Counter();
}

MustTake<Counter> zero2() {
    return Counter();
}

int main() {
    Counter c1 = zero1();
    printf("%d\n",c1.n);    // prints 0
    Counter c2 = zero2();
    printf("%d\n",c2.n);    // prints 1
    zero1();    // result ignored
    zero2();    // throws
    return 0;
}

Я полагаю, что могу улучшить неэффективность, используя макрос, чтобы MustTake‹> был только отладочным и не выполнялся для выпуска.

Я ищу решение времени компиляции. В противном случае я ищу лучшее решение во время выполнения.