ProcessorTraits.h

// DSPark -- Professional Audio DSP Framework
// Copyright (c) 2026 Cristian Moresi -- MIT License
 
#pragma once
 
#include "AudioSpec.h"
#include "AudioBuffer.h"
 
#include <concepts>
 
namespace dspark {
 
template <typename P, typename T>
concept AudioProcessor = requires(P p, const AudioSpec& spec, AudioBufferView<T> buf) {
    { p.prepare(spec) };                  // Can throw/allocate (offline phase)
    { p.processBlock(buf) } noexcept;     // Real-time hot path
    { p.reset() } noexcept;               // Must be safe to call from audio thread
} && !requires(P p, AudioBufferView<const T> c) {
    p.processBlock(c);                    // In-place: a const view must NOT bind
};
 
template <typename P, typename T>
concept SampleProcessor = AudioProcessor<P, T> &&
    requires(P p, T sample, int channel) {
        { p.processSample(sample, channel) } noexcept -> std::same_as<T>;
    };
 
template <typename P, typename T>
concept GeneratorProcessor = requires(P p, const AudioSpec& spec, AudioBufferView<T> buf) {
    { p.prepare(spec) };
    { p.reset() } noexcept;
    { p.generateBlock(buf) } noexcept;                    // Mandatory for SIMD/Cache optimization
    { p.getSample() } noexcept -> std::same_as<T>;        // Strict type matching
} && !requires(P p, AudioBufferView<const T> c) {
    p.generateBlock(c);                                   // Writes: a const view must NOT bind
};
 
} // namespace dspark